Create seal_intToHexString.h