Renames from PureBigInteger to BigInteger and deletes original BigInteger.