From 09d810ca0d68746ad1bbd525a8f4e93ed747794f Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Thu, 25 Oct 2018 05:21:46 +0000
Subject: [PATCH] Clarify justification for ditching the denominator.

---
 src/runtime/arith.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/arith.scm b/src/runtime/arith.scm
index 60459c49e..2eb29f578 100644
--- a/src/runtime/arith.scm
+++ b/src/runtime/arith.scm
@@ -2232,7 +2232,7 @@ USA.
   (guarantee-real t 'logit-exp)
   (cond ((<= t -37)
          ;; e^t < eps/2, so since log(e^t/(1 - e^t)) = t - log(1 -
-         ;; e^t), we have
+         ;; e^t), and |log(1 - e^t)| < 1 < |t|, we have
          ;;
          ;;     |t - log(e^t/(1 - e^t))|/|log(e^t/(1 - e^t))|
          ;;      = |log(1 - e^t)|/|t - log(1 - e^t)|.
-- 
2.25.1