example Int -> Integer
had not checked example