Digital type conversion under Java