`Calling the `BigNumTrait::modulus` method results in an invalid BigNum being returned (as we should disallow `BigNum`s reaching the modulus. We should change this to return a `[u128; N]`