Rename int codecs so as not to clash with built-ins