We introduced it 15 years ago because Nokia wanted to use poppler in systems with very weak floating point units where using float vs double made things much faster. I am hoping those systems don't exist anymore.
https://gitlab.freedesktop.org/poppler/poppler/-/merge_requests/1963 I will merge it next year unless someone complains with good reason. Cheers, Albert
