Factorize decode_postfix() out.