Commit 2025-09-19 12:48 a91abcc3

chore: replace norm_num with simp where applicable (#28035) Same motivation as in kim-em's #24064 (chore: replace norm_num with simp where applicable):

Consider replacing a tactic with a (ahem) simpler alternative. Note that norm_num runs simp internally, so using simp is simply faster.