Man pages matching name imult64 in section 3:

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