From 45c752c00a8befa4041b4dcd8243b0563779c573 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 2 Jul 2017 23:39:38 +1000 Subject: Removed MIT licensed Mathpaqs packages in favour of bindings to GMP --- src/bundles.adb | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/bundles.adb') diff --git a/src/bundles.adb b/src/bundles.adb index af11f37..a6e1472 100644 --- a/src/bundles.adb +++ b/src/bundles.adb @@ -56,7 +56,8 @@ package body Bundles is (This : in Bundle) return Natural is begin - return Rationals.Floor (Count_Papers (This) * This.Worth); + -- The number of votes under all normal circumstances should never exceed MAXINT + return Natural (Rationals.Floor (Count_Papers (This) * This.Worth)); end Count_Votes; @@ -78,7 +79,8 @@ package body Bundles is Papers : out Natural) is begin Papers := Count_Papers (This); - Votes := Rationals.Floor (Papers * This.Worth); + -- The number of votes under all normal circumstances should never exceed MAXINT + Votes := Natural (Rationals.Floor (Papers * This.Worth)); end Count_Both; -- cgit