Don't you think NbrDiv should be an integer ?
Passed
François Henrotte
created pipeline for commit
0f96876c
, finished
For master
5 minutes 8 seconds, queued for 4 seconds