Basic version of norm_num that does not call simp.

Normalize numerical expressions. Supports the operations + - * / ^ < ≤ over ordered fields (or other appropriate classes), as well as - / % over ℤ and ℕ.