f32 * i <= -i64
