This is a correct computation, but not the same as Shirley's division.