higher bound for the

integer type width width bound

integer width width✕