perl -e '@ins=(518819.748032,64852.468503656);
for (0,1) { push @outs,unpack("b*",pack("d",$ins[$_])) }
$_ = ($outs[0] ^ $outs[1])|"0"x64; print join("\n","",@outs,$_,"")'

1000001110011000001111111011111101110001010101011111100010000010
0100100010000110110111111011111101110001010101011111011100000010
1100101100011110111000000000000000000000000000000000111110000000