added explicit converter between ID types of same size