この場合、integer(整数)はゼロ("0")か、natural numberであり、natural numberにはオプションでマイナス符号を前置することができる。