8942 pounds and 12 ounces = 638.7679 stones