Document Context.get_int_type