higher bound for the
integer type is width bound
___