9980 pounds and 7 ounces = 712.8884 stones