sig
  type t
  val fractional : Float_intf.S.Parts.t -> Float_intf.S.outer
  val integral : Float_intf.S.Parts.t -> Float_intf.S.outer
end