已发行普通股总数的PTC Therapeutics, Inc.。