i64 <= -f32
