Expose Residue internals?

[andrewwhitehead]

At the moment I can't make use of the (Dyn)Residue type as there's no way to access the inner value in Montgomery form, or to create a Residue from such a value. This restricts the ability to perform operations which aren't supported by the type. For example, if I have a modulus with one or more empty leading bits, a wrapping type might perform addition and doubling without a carry (and with a bitshift). But this isn't possible if I have to convert back and forth to canonical form.

[tarcieri]

Perhaps an as_montgomery method which returns a reference to the inner value? And/or a to_montgomery method that returns a copy of the inner value.

Likewise there could be a from_montgomery method.

[andrewwhitehead]

Yup I think that would be sufficient, perhaps as_montgomery_mut?