なんで今まで Float 優先で使ってたんだろうと考えてみたけど、

3:23 AM

昔の iOS アプリ開発が 32bit だったのと、

3:24 AM

（おそらくそれに引きづられて）↓のような API が Float になっていることが

3:24 AM

https://developer.apple.com/documentation/uikit/uislider/1621346-value