encoded-character and unicode range violations

Hello,

just sitting at the code, what shoulb be the result of:

  "${unicode:0000000}"

Seven digits, yet in range.  To me, it should be a NUL character, not
an error.  Let's not specify the number of digits at all, neither in
the grammar nor in the text, and just specify the range.

Michael