How about `ℕ`?