平均基本流通股数的Centrus Energy Corp.。