Understanding The Greatest Integer Function