From 20ece9474b43cfdd344add43723fc9651c4ca3e5 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sun, 7 Apr 2019 21:44:24 +0200
Subject: [b9c4571] use tonumber() for now

---
 ekdosis.dtx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ekdosis.dtx')

diff --git a/ekdosis.dtx b/ekdosis.dtx
index 109b3d4..af96445 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -1016,9 +1016,9 @@ function ekdosis.appout()
 end
 
 function ekdosis.testapparatus()
-   if math.tointeger(pg_ii) == math.tointeger(pg_i) then
+   if tonumber(pg_ii) == tonumber(pg_i) then
       return "\\boolfalse{do@app}"
-   elseif math.tointeger(pg_ii) > math.tointeger(pg_i) then
+   elseif tonumber(pg_ii) > tonumber(pg_i) then
       pg_i = pg_ii
       return "\\booltrue{do@app}"
    else
-- 
cgit v1.2.3

