Ludolph's constant Synonyms