I think so. The numbers seem too large to be in HBD, and it isn't trivial to calculate the HBD value for these since you need to know the conversion price at each transfer, and I don't think that is stored anywhere.