higher bound for the
integer type width width bound
integer bound ___