Fix: Rational rounding got faster and works with non-terminating decimals too