Fix #578: lexer wrongly interprets ".e[0-9]" as a number with scientific notation. #982
| Job | Run time |
|---|---|
| 33s | |
| 23s | |
| 1m 9s | |
| 27s | |
| 1m 2s | |
| 23s | |
| 1m 58s | |
| 22s | |
| 25s | |
| 55s | |
| 23s | |
| 1m 41s | |
| 20s | |
| 1m 2s | |
| 55s | |
| 55s | |
| 12m 53s |
| Job | Run time |
|---|---|
| 33s | |
| 23s | |
| 1m 9s | |
| 27s | |
| 1m 2s | |
| 23s | |
| 1m 58s | |
| 22s | |
| 25s | |
| 55s | |
| 23s | |
| 1m 41s | |
| 20s | |
| 1m 2s | |
| 55s | |
| 55s | |
| 12m 53s |