private LiftedRational(bool isMinusInfty) { value = Rational.Zero; kind = isMinusInfty ? LiftedRationalKind.MinusInfty : LiftedRationalKind.PlusInfty; }
public LiftedRational(Rational r) { value = r; kind = LiftedRationalKind.Value; }