Use `double` for all `ok` fields#52

Draft

AlekSi wants to merge 5 commits into

Mergify / Mergify Merge Protections completed Jul 2, 2025 in 2s

No merge protections matched

This pull request does not match any conditions of the merge protections.

View more details on Mergify