プチコン3号では初期のバージョンでは四則演算でさえ整数型は整数型として処理されていました。 例えば、65536*65536=0となっていました。 しかし、現行バージョンでは演算結果が整数型の範囲を超える値の場合は自動的に実数型として処理するようになっています。 以上のことから推測して実数型と整数型で挙動が異なるのは仕様と考えられるし、ABS(&H1000000)が負数になるのはこの場合のみ整数型の範囲を超える演算結果になるという例外処理が行われてないため不具合と考えられます。