2 ms·

I don’t think it’s necessary, I think solution I posted works for any distribution (but obviously only gives you an edge for some distributions).