tests for 'Int' section of LRM
Merge branch 'master' of https://github.com/dinalamdany/slang