higher bound for the
integer part in float lets
___