ADD: Champernowne's constant