Variable zeroConst

zero: Rat = ...

The canonical representation of the identity element for ordinary addition.