Re: [MonetDB-users] timestamp to serial time