Algebra instances for refined numerics

refined-algebra

Algebra instances for refined numerics