Does anyone know what format the floating point numbers are stored in on the 85? (anyone else notice, I'm kinda big into floating points these days)