Definition:Nearest Integer Function/Definition 2