champernowne constant