i32 > f64 == ok
