i64 >= float(i)
