doubled 0.3.0

Dekker arithmetic
Documentation