I think the correct definition of a 10x developer includes what you're describing as a 0.1x engineer. It's not that they are simply more prolific, but that they are more prolific, impactful, and efficient.