Could it be a feature that groups pins but doesn't convert them to a decimal (has text label instead)?
