8937 pounds and 12 ounces = 638.4107 stones