Fix rounding errors in window size increase/decrease scripts, which caused no increase/decrease sometimes.