dwayne/elm-natural (elm): The natural numbers, ℕ = { 0, 1, 2, ... }
Keywords: arbitrary-precision|elm|natural-numbers