f32 <= i32 and ok
