i * 0.5 <= i64 ** f64
