#import flo

x = 7.125

#show+

t = <printf/'%09.3f' x>