9439 pounds and 7 ounces = 674.2455 stones