Re: [IMP-dev] Moving algebra to doubles