Michael has a rope that is 13 meters long. He cuts away a piece that is 9.88 meters long. How long is the remaining piece of rope?