Update integer.reds

Start with a simple return value to test if it works at all.