Man pages matching name sdl_ispixelformat_float in section 3:

SDL_ISPIXELFORMAT_FLOAT.3.en

debian 13 / libsdl3-doc