Man pages matching name imult32 in section 3:

imult32.3.en	debian 10 / libowfat-dev
imult32.3.en	debian 11 / libowfat-dev
imult32.3.en	debian 12 / libowfat-dev