Minor clean-ups.
Made sure that Rectangle::operator/ can cope with an integer argument.