[MonetDB-users] numeric precision