Adding integer_spec