i32 <= i64 + f32
