add WeirdoCustomDigitsGmp::decimalFromHex