toJSON(min(f64))
