When maister was first working on DRC, we did a bunch of ABX testing with different pitch variation and no one was even close to detecting 0.005. In fact, academic research suggests that the typical “just noticeable difference” threshold is 10x greater, at 0.05.
Being able to hear variations 2 orders of magnitude smaller than normal is impressive to say the least, but it’s very far from the norm and hence shouldn’t influence default settings.