JSON.stringify(Date) loses the milliseconds information