平均基本流通股数的WISeKey International Holding Ltd。