9937 pounds and 7 ounces = 709.817 stones