-- | Create a machine double precision literal expression of type @Double#@ from a @Double@.
-- If you want an expression of type @Double@ use 'MkCore.mkDoubleExpr'
mkDoubleLitDouble :: Double -> Expr b

mkDoubleLit       d = Lit (mkMachDouble d)
mkDoubleLitDouble :: Double -> Expr b
mkDoubleLit       d = Lit (mkMachDouble d)
mkDoubleLit       d = Lit (mkMachDouble d)