やっぱりRND(2)＊2-1ですね。