Minor changes to documentation and integ_t.