OK, but I think it's not up to the programming language designers to define mathematical properties of the operations on specific data types. I think the most

OK, but I think it's not up to the programming language designers to define mathematical properties of the operations on specific data types. I think the most pragmatic solution is to have 2 tiers: 1. use existing standards (i.e. IEEE 754 for FP, de-facto standards for integers, like two's complement, Big-Endian, etc.) 2. fast, native format per each compute device, using different sub-types so you will not be able to mix them in the same expression