Rethinking Arithmetic for Deep Neural Networks