Champernowne constant