exact integer multiplication