quotient_rect requires its motive to be an hset; close #551