Added dependency on real arithmetic library. Strangely found that in some cases it matches extremely well and in others it returns exact zeros when using Double returns things of order 1e8.