runtests now uses Validated package. Removed directed_rounding macro in favour of interval macro
+ and - now use @interval. Corrected a test of -