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

Refs #635