9.23 stones = 129 pounds and 3.52 ounces