(17 . 11)(17 . 16)
1697 ------------------------------------------------------------------------------
1698 ------------------------------------------------------------------------------
1699
1700 with Words; use Words;
1701
1702
1703 package FZ_Lim is
1704
1705 pragma Pure;
1706
1707 FZ_Minimal_Bitness : constant Positive := 256;
1708 FZ_Minimal_Bitness : constant Positive := 256;
1709
1710 FZ_Minimal_Wordness : constant Positive := FZ_Minimal_Bitness / Bitness;
1711
1712 FZ_Validity_Rule_Doc : constant String
1713 := "Must be greater than or equal to 256, and a power of 2.";