Re: [MonetDB-users] Bug with average of decimals when an empty table is returned