Minor issue: The sentence just before the Implementation section reads:

  Computer scientists will immediately recognize this as the interval of
  integers representable in two's-complement with (k - 1) bits.

but "(k - 1) bits" should read "k bits" if I'm not mistaken.

Regards,

-chaw