"That's a diameter of about 4 billion miles." Hardly - Saturn is on average 870,000,000 frrom the sun - double that for a diameter Betelgeuse if it reached that farr, and you get 1,749,000,000 miles.