fixedbw: Fixed Bit-Width Datatypes Collection of datatypes for modeling fixed-bitwidth arithmetic operations.