@@ -203,7 +203,10 @@ translateExpression (SApp True name vars) =
203 ++ ";\n})"
203 ++ ";\n})"
205translateExpression (SOp op vars)
205translateExpression (SOp op vars)
206− | LNoOp <- op = translateVariableName (last vars) ++ "/* NOOP */"
206+ | LNoOp <- op = translateVariableName (last vars)
208+ | (LZExt _ ITBig) <- op =
209+ idrRTNamespace ++ "bigInt(" ++ translateVariableName (last vars) ++ ")"
208 | (LPlus (ATInt ITBig)) <- op
211 | (LPlus (ATInt ITBig)) <- op
209 , (lhs:rhs:_) <- vars = translateBinaryOp ".add(" lhs rhs ++ ")"
212 , (lhs:rhs:_) <- vars = translateBinaryOp ".add(" lhs rhs ++ ")"