RFC: Basic BigRange support available

Currently there is a method for `colon` that makes all `BigInt` ranges BigRanges. It does incur in some overhead because of the `BigInt` used for managing the size. If this is fine, I'll extend it to also `BigFloat` ranges.
Fixes the second part of #3079.