Updated GTC_integer