round_add_test.ml

let print x y z =
  let print_line mode mode_name =
    Printf.printf "  round %s:\n    x + y = %.18e\n    x + z = %.18e\n"
      mode_name (Round.add mode x y) (Round.add mode x z) in
  Printf.printf "x = %e, y = %e, z = %e\n" x y z;
  print_line Round.NearestTiesToEven "NearestTiesToEven";
  print_line Round.ToZero "ToZero";
  print_line Round.Up "Up";
  print_line Round.Down "Down";
  Printf.printf "\n"

let _ =
  print   1.0  1e-40 (-1e-40);
  print (-1.0) 1e-40 (-1e-40)