数式にそんな曖昧なルールが本当にあるのか？
単純に処理系の違いじゃないのか。