Only produce to_real terms in textual model output.  Keep ConstantTerms containing Rationals or BigDecimals in the API and interpolants.