Make.Signed
module Round : Round with type t = signed round
module Overflow : Overflow with type t = signed overflow
module type Spec = sig ... end
module Make : functor (S : Spec) -> Fixed