add is_nonneg_int (passed)
Merge branch 'master' into random
basic discrete distributions (tested)