i32 ** 1 >= i64 * 0.5
