mirror of
https://github.com/php/php-src.git
synced 2026-03-30 12:13:02 +02:00
Rather than using a separate hash table for doubles, use the same biases hash approach we use for everything else. Either way works fine, but there doesn't seem to be any strong reason to use a different approach for doubles than we use for other cases.