What about zero-padded bignums? These can be more than 4 bytes in length but still pass CastToBigNum()