| otherwise = IPv4Address oct1 oct2 oct3 oct4
+-- The minimum possible IPv4 address, 0.0.0.0.
+min_address :: IPv4Address
+min_address = IPv4Address min_octet min_octet min_octet min_octet
+
+
+-- The maximum possible IPv4 address, 255.255.255.255.
+max_address :: IPv4Address
+max_address = IPv4Address max_octet max_octet max_octet max_octet
+
+
-- Given two addresses, find the number of the most significant bit
-- where they differ. If the addresses are the same, return
-- Maskbits.Zero.