[math-fun] The Catalan sequence decimal