Introduce flintify helper for "optimal" dispatch on integer and rat…
#498
| Job | Run time |
|---|---|
| 46s | |
| 37m 16s | |
| 41m 56s | |
| 37m 9s | |
| 41m 14s | |
| 2h 38m 21s |
flintify helper for "optimal" dispatch on integer and rat…
#498
| Job | Run time |
|---|---|
| 46s | |
| 37m 16s | |
| 41m 56s | |
| 37m 9s | |
| 41m 14s | |
| 2h 38m 21s |