C++ 자료구조 ADT 나눗셈 조건이 궁금합니다

자료구조에서 자연수 ADT의 나눗셈 함수를 어떻게 정의해야 할지 궁금해요.
객체는 0부터 MAXINT까지의 정수이고, 연산 결과도 자연수여야 하는 건지 헷갈립니다.
자연수를 나누면 소수가 나올 수도 있는데, 이 경우를 명시해야 하나요?
나눗셈 함수는 어떤 조건과 형식으로 작성하면 좋을까요?