Check out https://github.com/tibru/tibru No primitive arithmetic operations at all, no need for jets but the same time complexity as arithmetic in C just with a higher constant factor.
For those using Nock and seeking an alternative take on Urbit check out this open source project https://github.com/tibru/tibru A few willing devs could take this forward with open libertarian ideals. There is nothing special about Nock and Urbit technically or mathematically.
I do so enjoy seeing the casual vivisection of that which tends towards attracting mystical appreciation; what remains intact is all the more deservedly numinous.