Fixed InputInt() writing to output when it doesn't need to, which break with large int due to int<>float conversions. Added todo note.