num1
-
Può essere o una resource numero GMP, oppure una
stringa numerica dal momento che è possibile convertire quest'ultimo in un numero.
num2
-
Può essere o una resource numero GMP, oppure una
stringa numerica dal momento che è possibile convertire quest'ultimo in un numero.