Changes to integer-simple

Changes to integer-simple:
commit 4ecf62f1852636f6525cb2be6e782aceccf41547
Author: Austin Seipp <austin@well-typed.com>
Date:   Sat Oct 26 02:03:24 2013 -0500

    Placate clang.

    I forgot to push this as part of #8444.

    Signed-off-by: Austin Seipp <austin@well-typed.com>