Do explicit modular reduction for `Z` operations when the inputs are concrete.
Do explicit modular reduction for `Z` operations when the inputs are concrete.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol