removed getGMPFloatDigits