3 ms·

Stronger (tensile and compressive strength) doesn't necessarily mean harder. Maybe hardened steel tools can actually cut it fine.