[MonetDB-users] Microsecond timestamp precision?