Module Sarek_df64.Host

val round_f32 : float -> float

Round an OCaml float (binary64) to the nearest float32 value.

val encode : float -> df64

Dekker split of a binary64 value into a df64 pair at f32 precision: hi carries the leading 24 bits, lo the next 24.

val decode : df64 -> float

Back to binary64: exact since both halves are f32 values.

val (+%) : float -> float -> float
val (-%) : float -> float -> float
val (*%) : float -> float -> float
val (/%) : float -> float -> float
val fma_f32 : float -> float -> float -> float
val sqrt_f32 : float -> float
val two_sum : float -> float -> df64
val quick_two_sum : float -> float -> df64
val mul_rn : float -> float -> float
val two_prod : float -> float -> df64
val neg : df64 -> df64
val add : df64 -> df64 -> df64
val sub : df64 -> df64 -> df64
val add_f32 : df64 -> float -> df64
val mul : df64 -> df64 -> df64
val mul_f32 : df64 -> float -> df64
val div : df64 -> df64 -> df64
val sqrt : df64 -> df64