negative integer * negative integer