revisiting kstd1::red*: cleanup
use standard names: int_number -> mpz_prt, NATNUMBER ->unsigned long