Give equal integer constants the same GUID
Make printing types more pretty