fixes #23442, workaround RangeDefect via cast
#25759
| Job | Run time |
|---|---|
| 7m 16s | |
| 16m 9s | |
| 17m 53s | |
| 17m 20s | |
| 11m 27s | |
| 25m 25s | |
| 21m 50s | |
| 1h 0m 14s | |
| 2h 57m 34s |
cast
#25759
| Job | Run time |
|---|---|
| 7m 16s | |
| 16m 9s | |
| 17m 53s | |
| 17m 20s | |
| 11m 27s | |
| 25m 25s | |
| 21m 50s | |
| 1h 0m 14s | |
| 2h 57m 34s |