Add 10th-decimal precision options

[Lifeisgood72]

This is something I’d like to see in Audacity 4. Audacity does calculations up to the 10th decimal. It would be nice to give users that precise control for certain effects such as sliding stretch and pitch shift. It can be a hidden option or only accessible via a console or something.

This would be useful for something I’m working on where I correct old piano rolls which have a problem where they speed up over time. The time track is quite precise, but it changes the pitch over time slightly.

[LWinterberg]

You’re clashing with the fundamental limit of 32 bit float precision here. In 32 bit float, 123.12345678 is actually processed as 123.1234588623046875– here you lose precision already at the 6th decimal. Allowing for more decimals to be typed in may be pointless.