Are the floating point numbers in stars.dat in the IEEE 754 format? Here is a web page about it in case anyone wants to know what it is. http://grouper.ieee.org/groups/754/
Yes, the floating point values for RA, declination, and parallax are stored as IEEE 754 single precision floating point values with little-endian byte ordering.