post: fix catalan num