For future reference, the numbers do look like they're stored as per IEEE 754 64-bit convention.
I don't know what the special characters in the xxd output are but the size of the file is consistent with 2*int_32+num_elements*dobule_64. Thank you ! Sajid Ali Applied Physics Northwestern University
