Greatest Integer Function Definition