<p><span class="h-card" translate="no"><a href="https://social.restless.systems/@pointingdevice" class="u-url mention">@<span>pointingdevice</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <br />That's pretty much what this is? Or, at least, it's multiplying by 0xe0000000000000001/25, which is effectively 1/25?</p>
