もうちょっと内部的なお話をします。
GKNJZENKAKU で、GKNJPRINT したとき、半角数字を全角に変換するかを指定できます。標準は GKNJZENKAKU 1 になっていて、全角に自動変換されるようになっています。
このとき、GKNJPUT では全角に変換しませんが、内部的に半角文字の判定をスキップしているため、何も描画されない結果となります。
GKNJZENKAKU 0 にしておけば、GKNJPUT で半角文字の描画ができるようになります。今回の場合は全角のほうが見栄えが良さそうなので、くろねんどさんご提案の方法で問題ないと思います。
3そうだね プレイ済み