It is done to reduce the lines to their cardinal equivalents. According
to the manual, in double proportion, lengths of proportioned lines
are comparable only when reduced to their cardinal equivalents.
In essence, a double proportionate problem is simply two single
proportionate problems.