Add assignment and floating-point constant attributes #717
| Job | Run time |
|---|---|
| 21m 13s | |
| 14m 28s | |
| 15m 2s | |
| 11m 41s | |
| 11m 39s | |
| 12m 5s | |
| 11m 24s | |
| 13m 11s | |
| 11m 21s | |
| 11m 59s | |
| 12m 20s | |
| 10m 32s | |
| 16m 7s | |
| 7m 35s | |
| 7m 35s | |
| 7m 49s | |
| 5m 25s | |
| 5m 19s | |
| 5m 22s | |
| 5m 11s | |
| 5m 25s | |
| 5m 3s | |
| 5m 11s | |
| 5m 29s | |
| 5m 21s | |
| 5m 57s | |
| 2m 11s | |
| 4h 11m 55s |