implemented positive int.