Implement __add__ and so on OO correctly