Symbol: MPN_INF_TRUNC