i64 == i32 ** 0.5
