Understanding integer multiplication