lower(toJSON(f64))
