Check inferred integer literals for overflows, closes #4220