Introduce flintify helper for "optimal" dispatch on integer and rational inputs
#2744
| Job | Run time |
|---|---|
| 37s | |
| 41s | |
| 34s | |
| 37s | |
| 37s | |
| 40s | |
| 37s | |
| 2m 6s | |
| 6m 29s |