Tag: division of two positive integers