added translation for Num (ABS _)