32-bit CUPs with support for IEEE 754

[Luiz Henrique de Figueiredo <lhf@...>]

Which 32-bit CUPs currently in wide use support IEEE 754?
Which of those are listed in http://predef.sourceforge.net/prearch.html ?

(Yes, this is related to Lua. It's for Lua 5.2 beta, which will out
*real soon now* (TM)).