2011.1: 6th May 2011 * initial release of a completely rewritten version of AERN-Real