div and mod operator on natural numbers