Returns a list of rank nonnegative integer coordinates corresponding to exact nonnegative integer scalar. The lists returned by
natural->peano-coordinates
for scalar arguments 0 and 1 will differ in the first element.
Returns an exact nonnegative integer corresponding to coords, a list of nonnegative integer coordinates.