move the texts of integer constants into doc/