### 14.2.11  Ieee_Float

The standard library Ieee_Float api defines access to IEEE standard floating point functionality beyond core arithmetic functions (which are implemented in core modules).

The Ieee_Float api is implemented by the ieee_float package.

The Ieee_Float api source code is in src/lib/std/src/ieee-float.api.

The above information is manually maintained and may contain errors.

```api {
exception UNORDERED_EXCEPTION;
Real_Order  = EQUAL | GREATER | LESS | UNORDERED;
Nan_Mode  = QUIET | SIGNALLING;
Float_Ilk  = INF | NAN Nan_Mode | NORMAL | SUBNORMAL | ZERO;
Rounding_Mode  = TO_NEAREST | TO_NEGINF | TO_POSINF | TO_ZERO;
set_rounding_mode : Rounding_Mode -> Void;
get_rounding_mode : Void -> Rounding_Mode;
Decimal_Approx  = {digits:List(Int ), expression:Int, kind:Float_Ilk, sign:Bool};
to_string : Decimal_Approx -> String;
from_string : String -> Null_Or(Decimal_Approx );
scan : number_string::Reader((Char, X)) -> number_string::Reader((Decimal_Approx, X));};
```

Comments and suggestions to: bugs@mythryl.org
{"ft_lang_label":"__label__en","ft_lang_prob":0.50697947,"math_prob":0.89925164,"size":952,"snap":"2021-21-2021-25","text_gpt3_token_len":229,"char_repetition_ratio":0.116033755,"word_repetition_ratio":0.0,"special_character_ratio":0.24894957,"punctuation_ratio":0.23972602,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9739348,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-06-18T00:02:03Z\",\"WARC-Record-ID\":\"<urn:uuid:5c9cf311-da30-46ed-a972-103206acebf4>\",\"Content-Length\":\"2939\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:2a38123c-eb74-489a-b375-6d772083c9d4>\",\"WARC-Concurrent-To\":\"<urn:uuid:2040ece5-7b2d-4ece-a143-004d5f818e34>\",\"WARC-IP-Address\":\"50.255.18.97\",\"WARC-Target-URI\":\"https://mythryl.org/my-Ieee_Float.html\",\"WARC-Payload-Digest\":\"sha1:HEFEVWJRMQJ4EDKDKVENHZIWB5CABYEN\",\"WARC-Block-Digest\":\"sha1:TIXPF5KHN7FFZ6YK44ZCJDNM6WOQABJL\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-25/CC-MAIN-2021-25_segments_1623487634576.73_warc_CC-MAIN-20210617222646-20210618012646-00579.warc.gz\"}"}