At 2003-06-30 01:55, Ralf Hinze wrote:

What about mantissa (| Double |) + 4 ?

This would work perfectly with my method if (| Double |) were syntactic sugar for (mkType :: Type Double) or similar. I really think it's the most straightforward way of doing it and I hazard the easiest to implement. -- Ashley Yakeley, Seattle WA Almost empty page: <http://semantic.org/>