i64 <= i ^ 0.5
