Category:Definitions/Distance to Nearest Integer Function