There are two sides to this that jump out One is that research into what the limits of the architecture are is useful. Maths has a nice property of being very

There are two sides to this that jump out One is that research into what the limits of the architecture are is useful. Maths has a nice property of being very easy to verify and you can construct logical processes with it. It's a useful testbed. Second is there are a lot more places that understanding how to do arithmetic help, outside of just doing sums on their own.