toJSON(f64)
