From da3e064fc7e0eedd91a13acd0ea2aa75381c9d8c Mon Sep 17 00:00:00 2001 From: Daniel Lemire Date: Sun, 15 Mar 2020 22:35:21 -0400 Subject: [PATCH] Added a comment. --- src/generic/numberparsing.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/generic/numberparsing.h b/src/generic/numberparsing.h index 76b9342e2..0ab4b816f 100644 --- a/src/generic/numberparsing.h +++ b/src/generic/numberparsing.h @@ -142,6 +142,9 @@ really_inline double compute_float_64(int64_t power, uint64_t i, bool negative, // Otherwise we may need more accuracy or analysis to determine whether // we are exactly between two floating-point numbers. // It can be triggered with 1e23. + // Note: because the factor_mantissa and factor_mantissa_low are + // almost always rounded down (except for small positive powers), + // almost always should round up. *success = false; return 0; }