Fix redundant cast-to-int when INI_USE_STACK!=0#137