Got int timestamp printing correctly