To avoid renumbering the existing sources (which were listed in RA order) these new sources were added using a decimal extension.
Чтобы избежать изменения уже устоявшейся нумеровки существующих источников (в порядке увеличения RA), новые источники получили имена с десятичным расширением.