(format t "~9,3,,,'0F" 7.125)