evaluate floats referenced from the heap by tagged pointers
@@ -1334,6 +1334,9 @@ pub(crate) fn arith_eval_by_metacall(&mut self, value: HeapCellValue) -> Result<
(ArenaHeaderTag::Rational, r) => {
self.interms.push(Number::Rational(r));
}
+ (ArenaHeaderTag::F64, fl) => {
+ self.interms.push(Number::Float(*fl));
+ }
_ => {
std::mem::drop(iter);
