The index number of a library is generally from A to Z. What does each letter stand for? You can look at the classification table.

As for this, k825.7 = 76cd1k248.0cd16, I can tell you that it is sloppy.

As long as the number of each book is unique, you can edit it at will.