<p><span class="h-card" translate="no"><a href="https://rants.au/@sabik" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sabik</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>whitequark</span></a></span> On a second look, the fact that the result is 32 bits (and maybe even signed) certainly helps with this specific solution.</p>