I am not in a full time development role anymore, but even when I was I never felt the need to drive my WPM numbers to the extreme.. So the fractions of a second it may save was not a consideration.

I find the 10-key to be more accurate and faster for me. My muscle memory is numbers are entered with my right hand...