installDoubleContext

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

• Reification,

• Equality,

• Semiring,

• Ring,

• Field

• Order,

• Hashing.