The goal of the pretty printer is to make sure that the indentation is correct, not to dictate how numbers should be written :)
The goal of the pretty printer is to make sure that the indentation is correct, not to dictate how numbers should be written :)