Declared in <mp-units/random.h>
<mp-units/random.h>
using base = std::uniform_real_distribution<rep>;