Made a big note about different json implementation and how they deal with big float numbers; change tstamp in dasheader and map_reader to be integer