higher bound for the
integer type in lining
___