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 { ... }
Defined in bit/output.fj — lines 214–220 (view on GitHub).
Complexity¶
Time:
n^2(2@+4)Space:
n(16@+23)
See the complexity glossary for what @, w, dw, dbit, n mean.