Add bin_of_dec
III.2.
Add LaTeX file