f32 <= -i64
