He's not just 10x, he's 0x10x.

You’re right. Let’s say he’s a 1%’er under a linear view of a logarithmic ranking of all programmers.

~0.00001‰