redPrim env FloatToInt _ [ELit (LRat _ x)]  = ELit (lInt (truncate x))
redPrim env FloatToInt _ [ELit (LRat _ x)]  = ELit (lInt (truncate x))
redPrim env FloatToInt _ [ELit (LRat _ x)]  = ELit (lInt (truncate x))