The NX vs Win32 txt files list the values of float16 upscaled to float32, from 0x0000-0xFFFF, using printf() with the "%e" formatter (6 digits of precision in scientific notation). Note the Win32 version used an open source, open license, function for converting a float16(short) to a float. The values were nearly identical, including denormalized floats. The important difference worth noting: both Win32 and Oasis round when displaying floats. The NX printf() does not appear to round floats - it truncates. This lead to a difference of float values between the two files. Oasis matches Win32 behavior.