Correctly display prompt numbers that are 'None'

Fixes #6702
Yeah, true. I could create a new notebook in `files/` that's specifically for testing prompt numbers, and is therefore less likely to be changed unless the prompt numbering tests are also changed.