K-9 has been using 3 digits to the right of the decimal for over 12 years.

https://github.com/k9mail/k-9/tags?after=2.107

You could fork it and do just that