Integer

Specification for the ser/de of integers