5 Jan
2023
5 Jan
'23
2:28 p.m.
On Thu Jan 5 14:20:20 2023 +0000, Francisco Casas wrote:
Hmm, good point, I didn't think about this. I probably need to go back to the drawing board.
I don't think you need to change a lot. Just preserve the `is_minimum_precision` bit in the `matrix` and `vector` constructor, I think.