A 63-bit floating-point type for 64-bit OCamlblog.frama-c.com2 points·pascal_cuoq··0 commentsOpen articleSaveView on HN