Hi, I've just committed to trunk the attached patch. It should fix the ICE that you saw when trying to represent non integer distance vectors. The patch passed bootstrap and test on amd64-linux. Sebastian