> There are two minor differences between our functions, one is that the
> bdiv function allow any dividend size, the other is the "rounding mode"
> for the quotient.
maybe a 3rd difference is that the mpn_redc_{1,2} functions do not provide
results in canonical form (contrary to mpn_redc_n I believe).
Paul