Definition:Least Integer Function