Subtracting grass snakes and dividing adders