64 bit arithmetic soft fork

Concept ACK. I think most proposed covenant opcodes would really benefit from being able to do arithmetics on satoshi values.