toJSON(f64 != f32)
