u-- Merge pull request #194 from ttuegel/builtin-INT
Builtin INT and BOOL
Latest commit 61147f9 Aug 27, 2018