This brings `Natural` on par with `Integer` and fixes #17499. Also does some manual CSE for 0 and 1 literals.