Symbol: INT_TO_Q52