Change default # of digits for APFloat::toString