Why the output is not int --- getting from threadIdx