Fix BigInt/Random bug.