module Gsl_ieee: sig end
type ieee_type =
| |
NAN |
| |
INF |
| |
NORMAL |
| |
DENORMAL |
| |
ZERO |
type float_rep = {
|
sign : int; |
|
mantissa : string; |
|
exponent : int; |
|
ieee_type : ieee_type; |
}
val rep_of_float : float -> float_rep
type precision =
| |
SINGLE |
| |
DOUBLE |
| |
EXTENDED |
type rounding =
| |
TO_NEAREST |
| |
DOWN |
| |
UP |
| |
TO_ZERO |
type exceptions =
| |
INVALID |
| |
DENORMALIZED |
| |
DIVISION_BY_ZERO |
| |
OVERFLOW |
| |
UNDERFLOW |
| |
ALL |
| |
INEXACT |
val set_mode : precision -> rounding -> exceptions list -> unit
val env_setup : unit -> unit
val print : float -> string