i64 ** i32 <= min(0.5)
