support for real arithmetic models