type(toJSON(f64))
