asn1/a_int.c: clean up asn1_get_int64.