Fix incorrect parsing/rounding of BigInt
#1208
Job | Run time |
---|---|
11s | |
5s | |
2m 8s | |
2m 1s | |
1m 0s | |
56s | |
1m 5s | |
1m 2s | |
40s | |
35s | |
1m 3s | |
52s | |
1m 30s | |
1m 37s | |
50s | |
51s | |
1m 27s | |
1m 30s | |
1m 20s | |
47s | |
1m 7s | |
56s | |
41s | |
47s | |
56s | |
51s | |
49s | |
41s | |
40s | |
42s | |
2m 6s | |
2m 6s | |
1m 26s | |
1m 15s | |
36m 33s |