Variable negHalfConst

negHalf: Rat = ...