Make LinExpr.coefficient() always return a Fraction