Rounding: THEORY
 BEGIN
  % do not edit above this line
  
  % Why3 mode
  mode: DATATYPE
   BEGIN
    nearesttiestoeven: nearesttiestoeven?
    tozero: tozero?
    up: up?
    down: down?
    nearesttiestoaway: nearesttiestoaway?
   END mode
  
  
 END Rounding
 