https://shoesandroidblog.blogspot.com/2023/10/android-numberpicker-decimals.html