floating-point - OCaml 中的 C99 风格的十六进制浮点常量

Question

在 OCaml 中，如何以十六进制解析 C99 风格的浮点常量(作为文字或内部字符串)，例如 0x1.b000000000000p4？

它们似乎不是有效的文字:

# let c = 0x1.b000000000000p4;;
Characters 12-27:
  let c = 0x1.b000000000000p4;;
              ^^^^^^^^^^^^^^^
Error: Unbound record field b000000000000p4

并且似乎没有Scanf 转换器来解析它们(例如，对应于 C99 的 %a 转换器，用于 printf)。

Answer 1

float_of_string 应该能够解析它们:

# float_of_string "0x1.199999999999Ap1";;
- : float = 2.2

然而，作为 Alain Frisch noted在 OCaml 的错误跟踪器上，支持实际上取决于底层 libc，目前不适用于 MSVC 端口。