animation: workaround wrong inferred type via cast though f64 (`uti…
#386
| Job | Run time |
|---|---|
| 3m 24s | |
| 25s | |
| 3m 22s | |
| 4m 12s | |
| 4m 53s | |
| 5m 7s | |
| 4m 46s | |
| 4m 28s | |
| 4m 54s | |
| 4m 18s | |
| 4m 34s | |
| 4m 36s | |
| 4m 43s | |
| 4m 42s | |
| 4m 51s | |
| 4m 59s | |
| 5m 6s | |
| 4m 54s | |
| 5m 5s | |
| 1h 23m 19s |