Man pages matching name fcrangegetdouble in section 3:

FcRangeGetDouble.3.en	debian 10 / libfontconfig1-dev
FcRangeGetDouble.3.en	debian 11 / libfontconfig-doc
FcRangeGetDouble.3.en	debian 12 / libfontconfig-doc