tactic.norm_num1 source