寻观「标准库」之书。

「：文言：小数精确表示之验：以宿主原语书小数之十七位有效数字（同 C 之 %.17g），涵正负零、定点与指数之界、次正规、最大、平局、无穷与非数。汉语：小数精确表示（宿主原语 豫言_小数精确表示，与 C 的 %.17g 相同，平局向绝对值大者进位）的验收：正负零、定点形式与指数形式的分界（10^-4、10^17）、次正规数、最大有限数、十七位平局、无穷与非数。：」
「精」乃化「小数」而「字符串」也。
「精」者会「数」而
  《《外调》》名『豫言_小数精确表示』传「数」
也。

「显」乃化「字符串」而「有」也。
「显」者会「文」而
  「打印行」于（「文」附『：』附（「精」于（「小数操作」之「理解小数」于「文」）））
也。

「验」乃化「有」而「有」也。
「验」者会「无」而
  虑「无」者「显」于『0.1』而
  虑「无」者「显」于『-0』而
  虑「无」者「显」于『0』而
  虑「无」者「显」于『1』而
  虑「无」者「显」于『-1』而
  虑「无」者「显」于『100』而
  虑「无」者「显」于『0.0001』而
  虑「无」者「显」于『0.00001234』而
  虑「无」者「显」于『1e-5』而
  虑「无」者「显」于『123.456』而
  虑「无」者「显」于『-42.125』而
  虑「无」者「显」于『1e16』而
  虑「无」者「显」于『1e17』而
  虑「无」者「显」于『99999999999999999』而
  虑「无」者「显」于『1e21』而
  虑「无」者「显」于『-1e21』而
  虑「无」者「显」于『1.5e300』而
  虑「无」者「显」于『5e-324』而
  虑「无」者「显」于『2.2250738585072014e-308』而
  虑「无」者「显」于『1.7976931348623157e308』而
  虑「无」者「显」于『1250000000000000.25』而
  虑「无」者「显」于『0.3』而
  虑「无」者「显」于『0.30000000000000004』而
  虑「无」者「显」于『3.141592653589793』而
  虑「无」者「显」于『12345678901234567890』而
  虑「无」者「显」于『9.5』而
  虑「无」者「显」于『1e100』而
  虑「无」者「显」于『-1e-100』而
  虑「无」者「显」于『1e400』而
  虑「无」者「显」于『-1e400』而
  「显」于『nan』
也。

「验」于「元」。
