higher bound for the
integer width bound ___