DB<54> $b=3.1565323 DB<55> $a=3.1566789 DB<56> p abs(1e5*($b-$a)) <1 DB<57> p abs(1e5*($b-$a)) 14.660000000033 DB<58>