sig
  type t
  val fe_all_except : Posix_math.Fexcepts.t
  val fe_divbyzero : Posix_math.Fexcepts.t
  val fe_inexact : Posix_math.Fexcepts.t
  val fe_invalid : Posix_math.Fexcepts.t
  val fe_overflow : Posix_math.Fexcepts.t
  val fe_underflow : Posix_math.Fexcepts.t
  val union :
    Posix_math.Fexcepts.t -> Posix_math.Fexcepts.t -> Posix_math.Fexcepts.t
end