Former gas giants that have lost all or most of their gaseous atmospheres and are now just a rocky core.