installBigIntegerContext

Installs default BigInteger context (see BigIntegerContext) as the following type of contexts with BigInteger as a type argument:

• Reification,

• Equality,

• Semiring,

• Ring,

• EuclideanSemiring,

• EuclideanRing,

• Order,

• Hashing.