Fix the front-page example for integer inference changes.
Merge pull request #41 from huonw/fix-example

Fix the front-page example for integer inference changes.