No final, quando as colunas nomeadas como 'Quartos', 'Salas' e 'Banheiros' são agrupadas ao dataframe principal, elas contém informações do tipo string devido terem sido extraídas através dos métodos str.extractall? Se sim, não seria conveniente fazer o casting desses valores numéricos representados por strings usando o método .astype('int32') ou .astype('int64')?