shorten idris RPN