Fix an issue with integer evaluation