print format '%09.3f;' 7.125
  print pad left 7.125 to 9 by '0'