Integer multiplication rules