Use NonEmpty to clean up errors in integerDec
#1114
| Job | Run time |
|---|---|
| 1m 59s | |
| 1m 50s | |
| 2m 7s | |
| 2m 5s | |
| 1m 30s | |
| 2m 6s | |
| 1m 53s | |
| 2m 6s | |
| 1m 54s | |
| 1m 57s | |
| 1m 48s | |
| 1m 55s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 23m 10s |