Add serialization and deserialization of numerals larger than NumberMAX_SAFE_INTEGER
(#544)
#1486
Job | Run time |
---|---|
55s | |
2m 10s | |
1m 14s | |
1m 22s | |
1m 59s | |
2m 41s | |
1m 8s | |
2m 31s | |
1m 21s | |
1m 6s | |
2m 2s | |
2m 22s | |
1m 1s | |
3m 14s | |
1m 12s | |
26m 18s |