Man pages matching name rgxg_number_greaterequal in section 3:

rgxg_number_greaterequal.3.en	debian 10 / librgxg-dev
rgxg_number_greaterequal.3.en	debian 11 / librgxg-dev
rgxg_number_greaterequal.3.en	debian 12 / librgxg-dev