demo of the Java Double conversion bug {2011-02-14}