toJSON(1 * f64)
