Document single-digit behavior of ~>

Also, add explicit tests of the zero-extension behavior so nobody breaks
it by accident.

Fixes #896