diff options
Diffstat (limited to 'system')
| -rw-r--r-- | system/doc/reference_manual/data_types.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/system/doc/reference_manual/data_types.xml b/system/doc/reference_manual/data_types.xml index 1eac575df7..73ec6e2b82 100644 --- a/system/doc/reference_manual/data_types.xml +++ b/system/doc/reference_manual/data_types.xml @@ -397,7 +397,11 @@ hello 14> <input>binary_to_integer(<<"77">>).</input> 77 15> <input>integer_to_binary(77).</input> -<<"77">></pre> +<<"77">> +16> <input>float_to_binary(7.0).</input> +<<"7.00000000000000000000e+00">> +17> <input>binary_to_float(<<"7.000e+00>>").</input> +7.0</pre> </section> </chapter> |