[Om3] Floats

[Michael Kohlhase]

Dear Lars,

thanks for the notifiation
> 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.
this bug is still around https://trac.mathweb.org/OM3/ticket/114, it is 
scheduled for this round. There is another, related one 
https://trac.mathweb.org/OM3/ticket/107. Maybe you can have a look over 
these?
> 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.
Maybe you can make a bug out of this and schedule it for OM2+OMOBJ?

Michael
> Lars Hellström
>
> _______________________________________________
> Om3 mailing list
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3

-- 
----------------------------------------------------------------------
  Prof. Dr. Michael Kohlhase,        Office: Research 1, Room 168
  Professor of Computer Science  Campus Ring 1,
  Jacobs University Bremen           D-28759 Bremen, Germany
  tel/fax: +49 421 200-3140/-493140  skype: m.kohlhase
  m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase
----------------------------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 173 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20110225/9e0f5e54/attachment.vcf