window 1, @"Formatted Numeric Output", (0,0,480,270)
// option 1
print using "0000#.###";7.125

// option 2
printf @"%09.3f",7.125