Definition:Lowest Integer Function