function psi\abs(int $i) : int { let n = intval($i); return to_int(abs); }