Metric propositional neighborhood logics on natural numbers