Denominator is normalized to be positive in constructor.