From 44c07fd6ab56274525f258aff3c83a54186ea5b9 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 18 Sep 2021 13:28:06 +0300 Subject: [PATCH] =?UTF-8?q?integer=20=E2=8C=8A=E2=8C=88?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/builtins/arithd.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/builtins/arithd.c b/src/builtins/arithd.c index 311e0b08..19765511 100644 --- a/src/builtins/arithd.c +++ b/src/builtins/arithd.c @@ -208,12 +208,12 @@ GC2i("¬", not, 1+wv-xv, { GC2i("×", mul, wv*xv, {}) GC2i("∧", and, wv*xv, {}) GC2i("∨", or , (wv+xv)-(wv*xv), {}) +GC2i("⌊", floor, wv>xv?xv:wv, {}) // optimizer optimizes out the fallback mess +GC2i("⌈", ceil , wv>xv?wv:xv, {}) GC2f("÷", div , w.f/x.f, {}) GC2f("⋆", pow , pow(w.f, x.f), {}) GC2f("√", root , pow(x.f, 1.0/w.f), {}) -GC2f("⌊", floor, fmin(w.f, x.f), {}) -GC2f("⌈", ceil , fmax(w.f, x.f), {}) GC2f("|", stile, pfmod(x.f, w.f), {}) GC2f("⋆⁼",log , log(x.f)/log(w.f), {})