Cette fonction s'appuie essentiellement sur la fonction
checkmate::assert_count.
Il y a néanmoins une petite subtilité : on vérifie si l'objet x est de type
double ou integer.
Dans le premier cas, on affichera un warning et on corrigera l'objet au
format integer pour les traitements ultérieurs. En sortie, x est retourné
de manière invisible.
Si l'argument warn est FALSE, alors la fonction ne retournera pas de
warning lors de l'évaluation.
Selon le préfixe de la fonction :
si le check réussi :
si le check échoue :