1 > f64 and ok
