[MonetDB-users] Best way to avoid division by zero?