real arithmetic