make doubleToString(double,int,int) public for archive-it