I think I have an glimmer of an idea on how to do it.
It assumes you are allowed to cast between signed and unsigned values.
I would write my own minus function using the allowed operators.
I...