Representation of positive numbers

What is the representation in the type \citecoq{positive} for numbers 1000, 1024, 25, 512?

Solution

This file