Man pages matching name double_t in section 3type:

double_t.3type.en	debian 12 / manpages-dev
double_t.3type.en	debian 13 / manpages-dev