higher bound for the
integer floor works around
___