style: include DM_NEXTINT_VIA_NEXTDOUBLE (#7282)
#15284
| Job | Run time |
|---|---|
| 2m 57s | |
| 2m 57s |
DM_NEXTINT_VIA_NEXTDOUBLE (#7282)
#15284
| Job | Run time |
|---|---|
| 2m 57s | |
| 2m 57s |