Emanuele Zeppieri wrote: > > $dec = ($bin_from_outside + 0)->as_int; # et-voilà ;-) > Anzi, se vogliamo solo la conversione binario->decimale, è ancora più semplice (!): $dec = $bin + 0; Che funziona con e *senza* bignum (in quest'ultimo caso perdiamo la precisione infinita). ;-) -Emanuele