Implement arbitrary-precision numerical data in (B)AGGs

ChangeLog

@@ -1,3 +1,19 @@
+## [17.0.0-alpha.2] - unreleased
+
+### Added
+- Added `Game.relabel_strategies`, which simultaneously reassigns the labels of a player's strategies.  (#1047)
+
+### Fixed
+- `Game.add_player`, on a game in strategic form, no longer leaves the new player's sole
+  strategy with an empty label; it is now labeled `"1"`, as `Game.new_table` already labels
+  every other player's initial strategies.  (#1047)
+- Numerical data in action graph games is now read with exact precision, to match other game formats.  (#879)
+
+### Removed
+- Assigning to `Strategy.label` has been removed; use `Game.relabel_strategies`, which enforces
+  nonempty, unique labels.  (#1047)
+
+
 ## [17.0.0-alpha.1] - 2026-08-13
 
 ### Added
@@ -11,7 +27,6 @@
   its actions to be specified up front, just as `Game.make_event` does.  (#999)
 - `Game.get_behavior` returns a map-like view of the actions a reduced strategy prescribes at its player's
   information sets; the unreachable information sets are absent.  (#1002)
-- Added `Game.relabel_strategies`, which simultaneously reassigns the labels of a player's strategies.  (#1047)
 
 ### Changed
 - Adopted the C++20 standard; build system now enforces exactly C++20 (not a minimum) (cf. #1027)
@@ -60,9 +75,6 @@
 ### Fixed
 - Converting a behavior profile to a strategy profile, and computing pure-strategy payoffs
   no longer inserts spurious entries into a strategy's internal action map.
-- `Game.add_player`, on a game in strategic form, no longer leaves the new player's sole
-  strategy with an empty label; it is now labeled `"1"`, as `Game.new_table` already labels
-  every other player's initial strategies.  (#1047)
 
 ### Removed
 - `Game.set_player` has been removed; use `Game.make_infoset`, specifying the members of the
@@ -87,8 +99,6 @@
   stub overrides it forced on the strategic, AGG, and BAGG representations; it was subsumed by
   `MakeEvent`, and by this point was used only in support of the GUI's "Edit Move" dialog, which
   now builds the equivalent `MakeEvent` call directly.  (#999)
-- Assigning to `Strategy.label` has been removed; use `Game.relabel_strategies`, which enforces
-  nonempty, unique labels.  (#1047)
 
 ## [16.7.0] - 2026-07-11