úÎ!!T      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRS(Copyright (C) 2006-2015 Bjorn BuckwalterBSD3bjorn.buckwalter@gmail.comStableGHC onlySafe -12;=FST €  numtype-dkConversion to a Num. numtype-dkTypeInt division. numtype-dkTypeInt exponentiation. numtype-dkTypeInt multiplication. numtype-dkTypeInt subtraction. numtype-dkTypeInt addition. numtype-dkSignum. numtype-dkAbsolute value.  numtype-dkTypeInt negation.?  !"#$%&'()*+,-./0123456789:;<=>?  ! "#$%&'()*+56789:;<=>43210/.-, 78766'6(6)7*7+8Safe -12;=FST¡T numtype-dkNat exponentiation.U numtype-dkNat multiplication.V numtype-dkNat subtraction.W numtype-dk Nat addition. XYTUVWZ[\T8U7W6]      !"#$%&'() *+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQ RSTUVW)numtype-dk-0.5.0.2-DnJ3fOW43J15u6pfz9siiyNumeric.NumType.DK.IntegersNumeric.NumType.DK.Naturals KnownTypeInttoNum/^*-+SignumAbsNegateSuccPredTypeInt Neg10MinusNeg9Neg8Neg7Neg6Neg5Neg4Neg3Neg2Neg1ZeroPos1Pos2Pos3Pos4Pos5Pos6Pos7Pos8Pos9 Pos10Pluspredsuccnegateabssignumneg9neg8neg7neg6neg5neg4neg3neg2neg1zeropos1pos2pos3pos4pos5pos6pos7pos8pos9$fKnownTypeIntPos10Plus$fKnownTypeIntPos9$fKnownTypeIntPos8$fKnownTypeIntPos7$fKnownTypeIntPos6$fKnownTypeIntPos5$fKnownTypeIntPos4$fKnownTypeIntPos3$fKnownTypeIntPos2$fKnownTypeIntPos1$fKnownTypeIntZero$fKnownTypeIntNeg1$fKnownTypeIntNeg2$fKnownTypeIntNeg3$fKnownTypeIntNeg4$fKnownTypeIntNeg5$fKnownTypeIntNeg6$fKnownTypeIntNeg7$fKnownTypeIntNeg8$fKnownTypeIntNeg9$fKnownTypeIntNeg10MinusKnownNatnatValNatZS