Two things about floats in OM that I just recalled: 1. The endianness of floats in hex representation is unclear; the text says one thing, but the example given has the opposite endianness. I've filed a bug about that once.
2. The standard only covers 64-bit (I think it was) IEEE floats, but the current IEEE 754 standard defines 32n-bit floats for all integers n>=4. (Cf. http://en.wikipedia.org/wiki/IEEE_754-2008#Interchange_formats) Someone might want to consider similarly extending the OM floats. Lars Hellström _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
