On Fri Sep 8 15:17:31 2023 +0000, Giovanni Mascellani wrote:
I would guess that `intrinsic_float_convert_arg()` is needed here too. Or do you have evidence that the determinant of a matrix of halves is float rather than half?
How do you suggest I verify that?