pub const MODULUS_NOT_POSITIVE: &str = "modular() requires a positive modulus";
modular(v, m) with m <= 0.
modular(v, m)
m <= 0