sig
  module D : Mdata.S
  val f_neg : Ctypes.c_float -> D.real -> D.real
  val f_op : Ctypes.c_float -> Formula.real_op -> D.real -> D.real -> D.real
  val f_cmp :
    Ctypes.c_float -> Formula.cmp_op -> D.real -> D.real -> D.boolean
end