Re: How to read an integer from the minibuffer

[Gregory Heytings]

> > The fourth argument is new in Emacs 29, indeed.
>
> GNU Emacs 29.0.50 (build 1, x86_64-pc-linux-gnu, cairo version 1.16.0) 
> of 2021-10-04

It was added on 2021-10-07 ;-)

> > Apparently it doesn't do what I want here, namely converting "[0-9]" 
> > into "0123456789", "[0-9a-f]" into "0123456789abcdef", and so forth.
>
> I think it can!

Please show me how...