I was mostly amused to see they fixed it properly by going to a 64 bit integer rather than switching to an unsigned 32 bit int. If you’ve got to fix it, you might as well fix it properly!