An INTEGER type is mapped to a Go integer value constant:

ASN.1 production:

   <name> INTEGER ::= <value>

Generated code:

   const Asn1v<name> int64 = <value>

If the integer type is constrained to be nonnegative, than uint64 is used as the Go type for the constant.