Well, one could invent some mean VM to run upon a universal TM, and program it instead. With some hardware codec to translate inputs/outputs between this VM and

Well, one could invent some mean VM to run upon a universal TM, and program it instead. With some hardware codec to translate inputs/outputs between this VM and the UTM... but yeah, if you want to do arithmetics, start with Odhner pinwheels.