f64 > i32 == ok
