Greatest Integer Function Definition Math