include "ConsoleWindow"

print using "0000#.###"; 7.125