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