Changed template aliases for num*_t in ample's basic_number.hh