Fix number formatting

Before, it would format numbers with long decimals like 3.1415 as 3.1,415 causing confusion to the reader.