プチコンmk2では違う値に。 処理系依存ですね。