+word2IntLit, int2WordLit,
+ intToInt8Lit, intToInt16Lit, intToInt32Lit,
+ wordToWord8Lit, wordToWord16Lit, wordToWord32Lit,
+ char2IntLit, int2CharLit,
+ float2IntLit, int2FloatLit, double2IntLit, int2DoubleLit,
+ addr2IntLit, int2AddrLit, float2DoubleLit, double2FloatLit
+ :: Literal -> Literal
+
+word2IntLit (MachWord w)
+ | w > tARGET_MAX_INT = MachInt (w - tARGET_MAX_WORD - 1)
+ | otherwise = MachInt w
+
+int2WordLit (MachInt i)
+ | i < 0 = MachWord (1 + tARGET_MAX_WORD + i) -- (-1) ---> tARGET_MAX_WORD
+ | otherwise = MachWord i
+
+intToInt8Lit (MachInt i) = MachInt (toInteger (fromInteger i :: Int8))
+intToInt16Lit (MachInt i) = MachInt (toInteger (fromInteger i :: Int16))
+intToInt32Lit (MachInt i) = MachInt (toInteger (fromInteger i :: Int32))
+wordToWord8Lit (MachWord w) = MachWord (toInteger (fromInteger w :: Word8))
+wordToWord16Lit (MachWord w) = MachWord (toInteger (fromInteger w :: Word16))
+wordToWord32Lit (MachWord w) = MachWord (toInteger (fromInteger w :: Word32))
+
+char2IntLit (MachChar c) = MachInt (toInteger c)
+int2CharLit (MachInt i) = MachChar (fromInteger i)
+
+float2IntLit (MachFloat f) = MachInt (truncate f)
+int2FloatLit (MachInt i) = MachFloat (fromInteger i)
+
+double2IntLit (MachFloat f) = MachInt (truncate f)
+int2DoubleLit (MachInt i) = MachDouble (fromInteger i)
+
+addr2IntLit (MachAddr a) = MachInt a
+int2AddrLit (MachInt i) = MachAddr i
+
+float2DoubleLit (MachFloat f) = MachDouble f
+double2FloatLit (MachDouble d) = MachFloat d
+\end{code}