Excellent! This handles everything except for using hex() to convert the 64-bit quantity from a hexadecimal string. That, however, should be simple enough to deal with (though if you had any ideas on how to make "use integer" carry through, I'd be interested).

This should make life much easier!