higher bound for the

integer floor function floor

function integer✕