Е то е нормално като им видиш цената и на двате :
PICC supporting Microchip PICmicro - 10/12/14/16/17 Series -> $950
mikroC $ 249.00 USD
пестиш едно за сметка на друго...
P.S
От моя предищен опит с PIC-овете ( преди 5-6 години ) HTPIC генерираше най оптимален код от съществиващите тогава компилатори на C, сега не знам как е но май нещата не са се променили.