K 10 svn:author V 3 knu K 8 svn:date V 27 2002-05-12T19:54:13.000000Z K 7 svn:log V 84 Update to 1.2.0. Note: the library name has been downcased. (BigFloat -> bigfloat) END