Closed ckrause closed 7 months ago
For exponentiation: if the base is a non-negative constant, we can infer that the result is also non-negative. This should simplify the formulas for decimal expansions of rationals.
Also for floor and truncate, we can improve the decision.
For exponentiation: if the base is a non-negative constant, we can infer that the result is also non-negative. This should simplify the formulas for decimal expansions of rationals.
Also for floor and truncate, we can improve the decision.