それから浮動小数点演算の精度の違いで生ずるエンコード結果の違いが
有為でないことを証明・保証しておかないと知らない間に有為な差が
生じてしまう可能性もありますね。
（つうか私が知らないだけですでにどこかで証明・保証されてるのかも。）

EACのオフセットみたいに「だれも気がつかなかったからいいじゃん。」でok
というのも一つの見識だとは思いますが。