Fixes #1149: add JsonParser.getNumberTypeFP()
(#1182)
#1776
Job | Run time |
---|---|
2m 0s | |
1m 3s | |
54s | |
56s | |
4m 53s |
JsonParser.getNumberTypeFP()
(#1182)
#1776
Job | Run time |
---|---|
2m 0s | |
1m 3s | |
54s | |
56s | |
4m 53s |