> # debug(script=0,command=31): double 8.50705917302346e+037
> # doesn't match '(?^:command=31.: double 8.50705917302346e\+37\b)'
>
> # debug(script=0,command=32): double 1e+030
> # doesn't match '(?^:command=32.: double 1e\+30\b)'
>
> The difference seems to be a leading zero before the exponent, so
> perhaps the patterns need "0*" in there?
Probably "0?". Although an int with leading zeros is usually an octal
number, so window's rational fails me.
--
Fabien.
