Compare whole numbers in catch3.json without floating-point equalityfeature/catch3-json

Clang's -Wfloat-equal, an error in the development builds, rejected the
version check, which compared the JSON number with 1.0 by ==. The version
is now read through the same whole-number check as the counts and
compared as an integer, and that check asks whether the number exceeds
its floor instead of comparing the two for equality. The test of the
confidence interval compares within 1e-12. The amalgamated source is
regenerated.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/Progmasoft/Runner/ProjectConfig.cpp b/src/Progmasoft/Runner/ProjectConfig.cpp
index ea5d921f..ca1957d4 100644
--- a/src/Progmasoft/Runner/ProjectConfig.cpp
+++ b/src/Progmasoft/Runner/ProjectConfig.cpp
@@ -16,7 +16,7 @@ namespace Progmasoft::Catch3::Runner
     namespace
     {
         /// The version of the file format this runner reads.
-        constexpr double kConfigVersion = 1;
+        constexpr std::uint64_t kConfigVersion = 1;
 
         /// What the value of a key is, and how it becomes arguments.
         enum class ValueKind : std::uint8_t
@@ -175,7 +175,7 @@ namespace Progmasoft::Catch3::Runner
             }
             const double number = value.AsNumber();
             if (!std::isfinite(number) || number < 0
-                || number != std::floor(number) || number > 9007199254740992.0)
+                || number > std::floor(number) || number > 9007199254740992.0)
             {
                 return std::nullopt;
             }
@@ -434,7 +434,7 @@ namespace Progmasoft::Catch3::Runner
             }
             if (name == "version")
             {
-                if (!value.IsNumber() || value.AsNumber() != kConfigVersion)
+                if (WholeNumber(value) != kConfigVersion)
                 {
                     return Error{
                         prefix + "version " + value.ToString()