demos/doubledouble.p - corrections/improvements