bin2dec: reading binary arrays into decimal numbers