class RandomWithBigInt