Add WeirdoCustomDigitsGmp::decimalFromBin