print (Format.format "%09.3f\n" [Format.REAL 7.125])