printf "% 25.32g\n", unpack 'F', pack 'b*', '1000000000000000000000000000000000000000000000000000011111111100';;
      0.50000000000000011