725 HV = 71.08 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