cgOp (LIntFloat ITBig) [x] = do
  x' <- unbox (FArith (ATInt ITBig)) x
  uflt <- inst $ simpleCall "__gmpz_get_d" [ x' ]
  box (FArith ATFloat) uflt
cgOp (LIntFloat ITBig) [x] = do
  x' <- unbox (FArith (ATInt ITBig)) x
  uflt <- inst $ simpleCall "__gmpz_get_d" [ x' ]
  box (FArith ATFloat) uflt
cgOp (LIntFloat ITBig) [x] = do
  x' <- unbox (FArith (ATInt ITBig)) x
  uflt <- inst $ simpleCall "__gmpz_get_d" [ x' ]
  box (FArith ATFloat) uflt