将有理数四舍五入为最接近的整数，并使用上半部分

Question

给定一个有理数，我需要得到最接近的整数，精确的一半向上取整（即，向正无穷大方向）。结果必须精确，这排除了float和Decimal，两者的精度都有限

以下代码在所有情况下都能正常工作，负数除外：

def roundhalfup(x: Fraction) -> int:
    "Returns the closest integer to x, with exact ties rounded up"
    #assert not x < 0, ValueError("Negative numbers not implemented")
    return int(x + Fraction(1, 2))

def divroundhalfup(a: int | Fraction, b: int | Fraction) -> int:
    return roundhalfup(Fraction(a, b))

例如，它在以下方面成功：

• （5,3）→ 二,
• （4,3）→ 一,
• （1，1）→ 一,
• （2,3）→ 一,
• （1,2）→ 一,
• （1,3）→ 0
• （0,1）→ 0
• （-1,3）→ 0
• （-1,2）→ 0

但它失败了

• （-2,3）→ 0[应为-0.6̅→ -1]
• （-3,3）→ 0[应为-1]→ -1]
• （-4,3）→ 0[应为-1.3̅→ -1]
• （-5,3）→ -1[应为-1.6̅→ -2]

我知道用Decimal和^{}和decimal.getcontext().prec=99999一起使用Decimal可能会使这个问题变得很棘手，但是如果可能的话，我想避免这种丑陋的黑客攻击。如何在没有任何舍入的情况下做到这一点？完全是整体的

Answer 1

在roundhalfup中，将int(...)替换为math.floor(...)：

from math import floor


def roundhalfup(x: Fraction) -> int:
    """
    Returns the closest integer to x, with exact ties rounded up.
    """
    return floor(x + Fraction(1, 2))