Module Floating_point

module Floating_point: sig .. end

Floating-point operations.
Consult the Plugin Development Guide for additional details.

val set_round_downward : unit -> unit

val set_round_upward : unit -> unit

val set_round_nearest_even : unit -> unit

val round_to_single_precision_float : float -> float

val max_single_precision_float : float

val most_negative_single_precision_float : float

val sys_single_precision_of_string : string -> float

type parsed_float = {

	`f_nearest : float;`
	`f_lower : float;`
	`f_upper : float;`

}

If s is parsed as (n, l, u), then n is the nearest approximation of s with the desired precision. Moreover, l and u are the most precise float such that l <= s <= u, again with this precision.

Consistent with logic_real definition in Cil_types.

val single_precision_of_string : string -> parsed_float

val double_precision_of_string : string -> parsed_float

val parse_kind : Cil_types.fkind -> string -> parsed_float

val pretty_normal : use_hex:bool -> Format.formatter -> float -> unit

val pretty : Format.formatter -> float -> unit

exception Float_Non_representable_as_Int64

val truncate_to_integer : float -> Integer.t

Raises Float_Non_representable_as_Int64 if the float value cannot be represented as an Int64 or as an unsigned Int64.