Yes, that's right. The "shares held at DTC" are the float, approximately. It's possible there're some additional free trading shares held in certificate form. That would only happen if the owner(s) of those certs didn't deposit them with their brokers. Or if their brokers refused to accept them for deposit.