31415 -> 3.1415