1.0.45.25: better constant folding in arithmetic functions