let
num q =
Arith
(
Num
(q))