MICDouble implemented