>>567
アプリの作者からすると<foo>1</foo>で事足りる
設定ツールの作者からしても
input + number という無駄情報より
type="int" という型情報
のほうが正確というかそのものなのでありがたいな