0.5 + i64 <= 0.5 + 1
