9935 pounds and 7 ounces = 709.6741 stones