Ludolphian number Synonyms