style: include DM_NEXTINT_VIA_NEXTDOUBLE (#7282)
#11404
| Job | Run time |
|---|---|
| 19s | |
| 19s |
DM_NEXTINT_VIA_NEXTDOUBLE (#7282)
#11404
| Job | Run time |
|---|---|
| 19s | |
| 19s |