types+grammar: adding more on numbers like testing for integers and converting to 32-bit integers, closes #138