../ ieee754-api/ 28-Oct-2008 00:45 - ieee754-core/ 28-Oct-2008 00:45 - internal/ 28-Oct-2008 00:45 - portable-api/ 28-Oct-2008 00:45 -