Allow int and not bool as defaults for float user configuration parameters

Closes #1901 (closed)

changed milestone to %Arkindex 1.8.0

requested review from @babadie

assigned to @erouchet

added 2 commits

• 8a4c423b - 1 commit from branch release-1.8.0
• b8c174de - Allow int and not bool as defaults for float user configuration parameters

Compare with previous version

merged