FPTaylor
FPTaylor copied to clipboard
Hexadecimal floating-point numerals
Use hexadecimal floating-point numerals for external optimization tools. Use "%h" in OCaml printf functions. OCaml >= 4.03 is required.
Error bounds are printed as hexadecimal numerals now and the minimal OCaml version is increased to 4.03.