x64版Windows7だと0xFFFFFFFFFFFFFFFFが入るな。
互換性を考えれば、まあ当然の選択だろう。
だからといって、上位32bitが何の保証も無い事実は変わらないだろうけど。