const-oid: eliminate split_high_bits side effects (#1597)
#4107
| Job | Run time |
|---|---|
| 1m 0s | |
| 1m 18s | |
| 14s | |
| 2m 32s |
split_high_bits side effects (#1597)
#4107
| Job | Run time |
|---|---|
| 1m 0s | |
| 1m 18s | |
| 14s | |
| 2m 32s |