https://useandroidblog.blogspot.com/2024/01/android-numberpicker-decimals.html