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).