Fixed-point rules for numerical automation

The rules expose exact rational semantics. Runtime addition, subtraction, negation, and multiplication remain the direct integer-coefficient kernels in FixedPoint.Code.