@@ -371,7 +371,7 @@ class Info
}
- if (is_int($info['min'])) {
+ if (floor($info['min']) == $info['min']) {
$info['min'] = intval($info['min']);
/*