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

Refs #635
"vary", not "very".