cgOp (LIntFloat ity) [x] = do
  x' <- unbox (FArith (ATInt ity)) x
  x'' <- inst $ SIToFP x' (FloatingPointType 64 IEEE) []
  box (FArith ATFloat) x''
cgOp (LIntFloat ity) [x] = do
  x' <- unbox (FArith (ATInt ity)) x
  x'' <- inst $ SIToFP x' (FloatingPointType 64 IEEE) []
  box (FArith ATFloat) x''
cgOp (LIntFloat ity) [x] = do
  x' <- unbox (FArith (ATInt ity)) x
  x'' <- inst $ SIToFP x' (FloatingPointType 64 IEEE) []
  box (FArith ATFloat) x''