いつまでRAND_MAXは0x7FFFなんですか？
精度が低すぎて使い物にならないんですが。