Symbol: int_der_w_integer