1. Allow ranges to return BigInt for length. 2. Allow ranges like this but assert when .length overflows.3. Allow ranges like this and just allow .length to overflow dangerously.4. Do not allow ranges like this.
Option 5: Incorporate (emulation code?) for cent/ucent, then consider that the same as 1 but returning cent rather than BitInt.
