maxBound package:basement

Get Maximum bounds of different Integral / Natural types related to Nat