toJSON(type(f64))
