support for real arithmetic