@@ -305,6 +305,18 @@ execApp' env ctxt f@(EP _ n _) args =
305305 return $ fromMaybe (mkEApp f args) res
306306 thing -> return $ mkEApp f args
307307 where getOp :: Name -> [ExecVal] -> Maybe (Exec ExecVal)
308+ getOp (UN "prim__addB16") [EConstant (B16 i1), EConstant (B16 i2)] =
309+ primRes B16 (i1 + i2)
310+ getOp (UN "prim__addB32") [EConstant (B32 i1), EConstant (B32 i2)] =
311+ primRes B32 (i1 + i2)
312+ getOp (UN "prim__addB64") [EConstant (B64 i1), EConstant (B64 i2)] =
313+ primRes B64 (i1 + i2)
314+ getOp (UN "prim__addB8") [EConstant (B8 i1), EConstant (B8 i2)] =
315+ primRes B8 (i1 + i2)
316+ getOp (UN "prim__addBigInt") [EConstant (BI i1), EConstant (BI i2)] =
317+ primRes BI (i1 + i2)
318+ getOp (UN "prim__addFloat") [EConstant (Fl f1), EConstant (Fl f2)] =
319+ primRes Fl (f1 + f2)
308320 getOp (UN "prim__addInt") [EConstant (I i1), EConstant (I i2)] =
309321 primRes I (i1 + i2)
310322 getOp (UN "prim__andInt") [EConstant (I i1), EConstant (I i2)] =