f64 >= i32 ** 0.5
