We should use `CInt` rather than `Int`.  Using `Int` in Sage causes problems, for example, because "ints" are actually Sage integers, rather than python integers.  `CInt` will "C"ast the Sage integer to an int instead of complain.