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

Refs #635
Thanks for the note. Fixed.