Man pages matching name sdl_randf_r in section 3:

SDL_randf_r.3.en

debian 13 / libsdl3-doc