tree e62dba157e334bd9585d6ff83187ed59967a8ac8
parent 78eaa6b2038bee5d36f4da5c95f019437b627dd0
author Dominik Maier <domenukk@gmail.com> 1598412513 +0200
committer Dominik Maier <domenukk@gmail.com> 1598412513 +0200

using unbiased rand_below