Representation of Division with Remainder