[IMP-dev] Moving algebra to doubles