Except they did pick and choose SPCX and did special favors by giving them a multiplier on the float and an exceedingly short interval before including it in indices.
The only index that I know that float multiplied is Nasdaq which no one should even be investing in via their 401k anyway. Shitty index. Most consumers are utilizing some type of fund that tracks the CSRP, which float adjusts with no multiplier.