I'd say macroexpansion is precedence agnostic.

folding * over 4, 3+7, 2

   */ 4, 3+7, 2
   */ 3+7 * 4, 2
   */ 2 * 3+7 * 4

   => 2 * 3 + 7 * 4

so basically, beware