Fix the concrete implementation of the 'pdiv' and 'pmod' primitives to correctly handle the special case where the length of the dividend is less than the degree of the divisor polynomial. In this special case the quotient is always zero and the remainder is equal to the dividend (zero extended if necessary to fit the output type).
Fix the concrete implementation of the 'pdiv' and 'pmod' primitives
to correctly handle the special case where the length of the dividend
is less than the degree of the divisor polynomial. In this special case
the quotient is always zero and the remainder is equal to the dividend
(zero extended if necessary to fit the output type).

Fixes #384

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol