[PATCH 16/17] programs/winedbg: implement proper assignements of floating point numbers