From https://github.com/PRQL/prql/pull/1467, we now allow for `5_000`. I had a quick look at the grammar but couldn't immediately see where to update it, so lodging the issue so we don't forget it.