changed to realnum arith