import Text.Printf
main =
  printf "%09.3f" 7.125