>>15
規格に0と、0より大きい数と、0より小さい数と書かれているのに、将来的に1になったり10になったりすることが有り得るのでしょうか?
また、将来的に変更が有り得た場合、過去との互換性はどうなるのでしょうか?

規格として0を基準にした関数と設計されているのであれば、将来的にも0が基準であると思われるのですが
(現存する過去のプログラムを全て変更することは難しいし、変更前のコンパイラと、変更後のコンパイラが存在する場合に、問題は最悪の方向に向かって進むと思われますが)