float(i64) >= i
