higher bound for the

integer type width width bound

integer type width✕