Structs
why
default?
because there exists other modular arithmetic implementations.
e.g. Montgomery Multiplication, or Burrett Reduction.