Use stream-api to convert idnumber to int[]