added a __neg__ function