bit.print_dec_int

prints x[:n] as a signed decimal number (without leading zeros).

The number 28/93 is the ratio of the number of decimal digits and the number of binary digits.
It’s bigger than log(2)/log(10) by 0.015%, which is just enough.

Signature

def print_dec_int n, x @ do_print, end, neg { ... }

Defined in bit/output.fj — lines 229–242 (view on GitHub).

Complexity

• Time: n^2(2@+4)  // actually: nd(7@+12)  (for d number of decimal digits)

• Space: n(16@+23)

See the complexity glossary for what @, w, dw, dbit, n mean.

Source

Click to view the macro body

def print_dec_int n, x @ do_print, end, neg {
    .zero neg
    .if0 x+(n-1)*dw, do_print
    .not neg
    stl.output '-'
    .neg n, x
  do_print:
    .print_dec_uint n, x
    .if0 neg, end
    .neg n, x
    ;end
  neg: .bit
  end:
}

Depends on

• bit.if0/2

• bit.neg

• bit.not/1

• bit.print_dec_uint

• bit.zero/1

• stl.output

---

← Previous: bit.print_dec_uint.print_char