fix integer multiplication, use int 64