redc (cargo): Unsigned integer types which are constrained within a modular field using montgomery multiplication, never overflowing or exceeding the modulo
Keywords: arithmetic|modular|montgomery