string(f64 <= f64)
