Re: [gambit-list] Another patch for naive-div