Add documentation to integer.h