toJSON(f64 < f32)
