2 ms·

Thanks -- I missed this. If it pans out, it might get me to shift away from SolveSpace, which has a few perpetually annoying quirks.