json serialisation of time value put in "timestamp" as before