Hi Mike. Well, it took quite a bit longer than expected, but there is finally an experimental release of Cygwin with support for 32 bit floats. Please grab it at http://www.mlton.org/experimental/ Hopefully there can now be some progress on the OpenGL stuff!