def new_biginteger(self, value):
# Allocate a new integer and set its class to be the integer class
result = BigInteger(self._nilObject)
result.set_class(self._bigintegerClass)
# Set the embedded integer of the newly allocated integer
result.set_embedded_biginteger(value)
# Return the freshly allocated integer
return result
