Use the more natural int() operator on the uuid