Re: [IMP-dev] equality tolerance.