redPrim env IntToFloat _ [ELit (LInt _ x)]  = ELit (lRat (fromInteger x))
redPrim env IntToFloat _ [ELit (LInt _ x)]  = ELit (lRat (fromInteger x))
redPrim env IntToFloat _ [ELit (LInt _ x)]  = ELit (lRat (fromInteger x))