diff --git a/hledger-lib/hledger-lib.cabal b/hledger-lib/hledger-lib.cabal
index 9a857f31f..e784f0a2a 100644
--- a/hledger-lib/hledger-lib.cabal
+++ b/hledger-lib/hledger-lib.cabal
@@ -47,11 +47,6 @@ source-repository head
   type: git
   location: https://github.com/simonmichael/hledger
 
-flag double
-  manual: True
-  default: False
-  description: Use old Double number representation (instead of Decimal), for testing/benchmarking.
-
 flag oldtime
   description: If building with time < 1.5, also depend on old-locale. Set automatically by cabal.
   manual: False
diff --git a/hledger-lib/package.yaml b/hledger-lib/package.yaml
index 989de3e8a..ab9ce7b15 100644
--- a/hledger-lib/package.yaml
+++ b/hledger-lib/package.yaml
@@ -34,10 +34,6 @@ data-files:
 - doc/hledger_timeclock.5.txt
 - doc/hledger_timeclock.5.info
 flags:
-  double:
-    description: Use old Double number representation (instead of Decimal), for testing/benchmarking.
-    manual: true
-    default: false
   oldtime:
     description: If building with time < 1.5, also depend on old-locale. Set automatically by cabal.
     manual: false