[IanCal]

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.