Fixed.Make
B : Hardcaml.Comb.S
type unsigned
type signed
type 'a round
type 'a overflow
module type Round = Round with module B := B
various different rounding modes
module type Overflow = Overflow with module B := B
overflow control - wrap or saturate
module type Fixed = Fixed_point with module B := B
fixed point API
module Unsigned : sig ... end
module Signed : sig ... end