Create seal_intToString.h