NumImpl: IntNum | PInf | MInf