A 63-bit floating-point type for 64-bit OCamlhttp://blog.frama-c.com/index.php?post/2013/05/09/A-63-bit-floating-point-type-for-64-bit-OCaml by pascal_cuoq • 13 years ago 2 0 13 years agoBLblog.frama-c.com