[drv]

nextAfter is probably also including the denormals (an additional 2^23 values near 0).

[mturmon]

Yep:

  1,056,964,609 - 1,065,353,216 = 8388607 = 2^23 - 1

because the denormal that is all-zero is already present.

[mark-r]

And the author explicitly stated he was excluding the denormals.