Improve the documentation of the integer constants