Yep, I see some Bitsong tokens in my Cosmos wallet as well, your numbers are on point for this. I probably won't keep my Bitsong, instead just swapping for other tokens - however, I will be bolstering my JUNO holdings further!