unmark_cell_bits! in push_literal (#2645)

diff --git a/src/arithmetic.rs b/src/arithmetic.rs
index 55770f888b350fd339afe54fe32a7aed61d6ab0f..7335f625986aacb87b3752fc1c225c9c4ce64081 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)))