quite interesting.

What I found more interesting is that the EOS code base validates negative operations similar to this.

ref: https://github.com/EOSIO/eos/blob/d7a6fd10ac0ab34595068f339f8b3d24a06f1db3/contracts/eosio.system/delegate_bandwidth.cpp