So where is the even split point? It's [0, 1.5) and [1.5, Inf)! There's `2^62-2^51-1` values in both those sets. Or `2^30-2^22-1` for 32 bit. Or perhaps eve

So where is the even split point? It's [0, 1.5) and [1.5, Inf)! There's `2^62-2^51-1` values in both those sets. Or `2^30-2^22-1` for 32 bit. Or perhaps even more interestingly, there's the same number — 2^62 or 2^30 — in [0, 2) as [1, Inf).