Expr.FP
Constructors from the smtlib theory of floating-point numbers.
https://smt-lib.org/theories-FloatingPoint.shtml
val fp : t -> t -> t -> int -> int -> t
val ieee_format_to_fp : t -> int -> int -> t