Fix int evaluation with real