string(f64 > f64)
