virtual uint32_t asLong() { return nrnran123_ipick(s_); }
double nrnran123_dblpick(nrnran123_State* s) { return nrnran123_uint2dbl(nrnran123_ipick(s)); }