Add assignment and floating-point constant attributes #712
| Job | Run time |
|---|---|
| 15m 28s | |
| 13m 43s | |
| 17m 37s | |
| 12m 17s | |
| 11m 8s | |
| 14m 1s | |
| 11m 8s | |
| 11m 37s | |
| 14m 11s | |
| 13m 19s | |
| 11m 37s | |
| 11m 32s | |
| 10m 46s | |
| 7m 25s | |
| 7m 18s | |
| 7m 17s | |
| 5m 1s | |
| 5m 17s | |
| 5m 17s | |
| 5m 7s | |
| 5m 11s | |
| 5m 18s | |
| 5m 15s | |
| 5m 14s | |
| 5m 6s | |
| 5m 1s | |
| 1m 52s | |
| 4h 4m 3s |