unmark_cell_bits! in push_literal (#2645)

diff --git a/src/arithmetic.rs b/src/arithmetic.rs
index f1256b6614247afa868d80f264b82b85f265f55b..8cb11743c0ab33d2d7e2a072b1a34ccc28520ee1 100644 (file)
--- a/src/arithmetic.rs
+++ b/src/arithmetic.rs
@@ -62,6 +62,8 @@ pub(crate) struct ArithmeticEvaluator<'a> {
 }
 
 fn push_literal(interm: &mut Vec<ArithmeticTerm>, c: HeapCellValue) -> Result<(), ArithmeticError> {
+    let c = unmark_cell_bits!(c);
+
     read_heap_cell!(c,
         (HeapCellValueTag::Fixnum, n) => {
             interm.push(ArithmeticTerm::Number(Number::Fixnum(n)))