&gt; floating point (with a defined precision)<p>If it&#x27;s fixed-precision it&#x27;s not floating point, it&#x27;s basically an integer we interpret with a decimal point somewhere when we display it. If you didn&#x27;t mean fixed-precision, then I&#x27;m not sure how actual floating points could sanely act as a hash key.