f32 <= i64
