Variable VERIFIED_MINIMUMConst

VERIFIED_MINIMUM: bigint = -272n

The current value down to which has been proven numerically, for the default parameterisation.

Generated using TypeDoc