Yep:

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

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