val mk : Base.Int.t -> B.t -> tcreate a fixed point value. mk f x will have f fractional bits. width x -
f will be the number of integer bits
val width_int : t -> Base.Int.tnumber of integer bits
val width_frac : t -> Base.Int.tnumber of fractional bits
val to_float : t -> Base.Float.tconvert fixed point value to a float
val select_int : t -> Base.Int.t -> B.tselect_int f x extracts the integer part, and resizes it to x bits. Bits are dropped from the msb down, if required.
val select_frac : t -> Base.Int.t -> B.tselect_frac f x extracts the fractional part, and resizes it to x bits. Bits are dropped from the lsb up, if required.
val select : t -> Base.Int.t -> Base.Int.t -> tresizes a fixed type using select_int and select_frac
val norm : t Base.List.t -> t Base.List.tfind largest integer and fractional parts in each fixed value, and resize all elements to that size
val const : Base.Int.t -> Base.Int.t -> Base.Float.t -> tcreate a fixed value with the given number of integer and fractional bits from the floating point value
val mux : B.t -> t Base.List.t -> tmultiplexor
val resize : t -> Base.Int.t -> Base.Int.t -> tresize x i f will resize the integer part to have i bits, and fractional part to have f bits. Rounding and overflow control is applied