Raise exponent threshold for ExtendedFloat conversion to string; documentation fixes