sig
  val ffloat : int -> float
  val ffloat_high : int -> float
  val ffloat_low : int -> float
  val fadd : float -> float -> float
  val fadd_low : float -> float -> float
  val fadd_high : float -> float -> float
  val fsub : float -> float -> float
  val fsub_low : float -> float -> float
  val fsub_high : float -> float -> float
  val fmul : float -> float -> float
  val fmul_low : float -> float -> float
  val fmul_high : float -> float -> float
  val fdiv : float -> float -> float
  val fdiv_low : float -> float -> float
  val fdiv_high : float -> float -> float
  val fmod : float -> float -> float
  val fsqrt : float -> float
  val fsqrt_low : float -> float
  val fsqrt_high : float -> float
  val fexp : float -> float
  val fexp_low : float -> float
  val fexp_high : float -> float
  val flog : float -> float
  val flog_low : float -> float
  val flog_high : float -> float
  val flog_pow : float -> float -> float
  val flog_pow_low : float -> float -> float
  val flog_pow_high : float -> float -> float
  val fpow : float -> float -> float
  val fpow_low : float -> float -> float
  val fpow_high : float -> float -> float
  val fsin : float -> float
  val fsin_low : float -> float
  val fsin_high : float -> float
  val fcos : float -> float
  val fcos_low : float -> float
  val fcos_high : float -> float
  val ftan : float -> float
  val ftan_low : float -> float
  val ftan_high : float -> float
  val fatan : float -> float -> float
  val fatan_low : float -> float -> float
  val fatan_high : float -> float -> float
  val facos : float -> float
  val facos_low : float -> float
  val facos_high : float -> float
  val fasin : float -> float
  val fasin_low : float -> float
  val fasin_high : float -> float
  val fsinh : float -> float
  val fsinh_low : float -> float
  val fsinh_high : float -> float
  val fcosh : float -> float
  val fcosh_low : float -> float
  val fcosh_high : float -> float
  val ftanh : float -> float
  val ftanh_low : float -> float
  val ftanh_high : float -> float
  val is_neg : float -> bool
  val set_low : unit -> unit
  val set_high : unit -> unit
  val set_nearest : unit -> unit
end