n = 7.125
PRINT USING ("0000#.###"); n    ' => 00007.125