[MonetDB-users] time precision