Converts a Matrix3_Float16 back to a Math.Matrix3, exactly.
Matrix3_Float16
Math.Matrix3
matrix3_float32 :: (s: Matrix3_Float16) -> Matrix3