The example still refers to integers