Integer spec