Fix mis-cast int in NemesisIOHelper