Decimals in floating point numbers (JSON) were not counted correctly