Ketrew API : Ketrew_pervasives.Int