717 HV = 70.29 HRC
1 HRC ≈ 10.2 HV · 1 HRB ≈ 1.8 HV · 1 Mohs ≈ 0.1 HV — approximate; real conversions vary by material per ASTM E140