Variable oneConst

one: Rat = ...

The canonical representation of the identity element for ordinary multiplication.