more readable trace output for numbers
fix storing/reading of timestamps for 32bit