What do you call a dinosaur doing subtraction?

A Galliminus!