toJSON(toJSON(f64))
