style: include DM_NEXTINT_VIA_NEXTDOUBLE (#7282)
#4275
| Job | Run time |
|---|---|
| 3m 0s | |
| 3m 0s |
DM_NEXTINT_VIA_NEXTDOUBLE (#7282)
#4275
| Job | Run time |
|---|---|
| 3m 0s | |
| 3m 0s |