I repeated the test using the value 1.2345678 in order to be able to identify the position of each byte:
linux i386: 1bde8342cac0f33f 0100000000000000 linux arm: cac0f33f1bde8342 0100000000000000 So, it indeed looks like 32bits based middle-endian or something -- Best, Frank.
