binary champernowne constant