Fixed bug #50224 where float without decimals were converted to integer when encode to JSON

Refs #635
True, that seems more readable. Changed.