とりあえず結論的にはプチコン3号のRND関数で問題なさそうってことかな? あるものが使えるのならとりあえずそれでOKですね。(興味としては存在しますが)