Add type-check test for int literal.