LET n = 7.125
PRINT USING ("0000#.###"): n      ! => 0007.125
END