A minor point in the great scheme of things, Ed.
Recently I searched in Crosswords for Times 25257.
Nothing showed up. When I had an idea to try Times 25,257 it came up with the goods.
Just by adding a "thousands" comma.
I can't help thinking that something so simple ought to be flagged and dealt with by the script.