higher bound for the
integer floor function floor
function ___