(50g) OEIS A030302: Binary Champernowne Constant

[Gerald H]

If you're doubtful about the values returned by the programme above please compare with the programme below which for integer input N returns the first N digits of the binary Champernowne constant as an integer.

Code:


::
  CK1&Dispatch
  BINT1
  ::
    FPTR2 ^PUSHFLAGS_
    DOBIN
    COERCE
    NULL$
    OVER
    #1+_ONE_DO
    INDEX@
    DO>STR
    BINT3
    OVERLEN$
    #1-SUB$
    &$
    DUPLEN$
    3PICK
    #>=_  That's PTR 3747D
    IT
    ExitAtLOOP
    LOOP
    BINT1
    ROT
    SUB$
    FPTR2 ^POPFLAGS_
    FPTR2 ^S>Z
  ;
;