>>367
タイミングあんまり関係ない

Javaのプリミティブ型は0方向への丸め
あなたの挙げた式を計算するとdoubleで-15.0〜15.99999…になる

ここで問題なのだが、randomで0.0が出る確率ってどのくらいだと思う？
0.0でない場合は-15.0になりえないわけだから、intにキャストされた時に0に向けて丸められて-14になる