Correct pretty printing for numeric Ids
Correct pretty printing for numeric Ids

jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,tias/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,tias/libminizinc