例えばにはtype=intとあったときにintというのは整数型で実装すると判断する根拠はどこにあるのかな?