Fix for PHP 8 (?) issue with round()

For at least some configurations/version of PHP 8, round() can no longer be called on a string. So, we call round( floatval() ) on the value instead.

Also remove the is_int() checks, since the value will presumably never be an integer per se - it is a string.

Change-Id: I23b4512d21b97d573b1ef3737333cccff71670cc

includes/CargoFieldDescription.php

@@ -324,16 +324,12 @@ public function prepareAndValidateValue( $fieldValue ) {
 				}
 				$individualValues = explode( $delimiter, $fieldValue );
 				foreach ( $individualValues as &$individualValue ) {
-					if ( !is_int( $individualValue ) ) {
-						$individualValue = round( $individualValue );
-					}
+					$individualValue = round( floatval( $individualValue ) );
 				}
 				$newValue = implode( $delimiter, $individualValues );
 			} else {
 				$newValue = str_replace( $wgCargoDigitGroupingCharacter, '', $fieldValue );
-				if ( !is_int( $newValue ) ) {
-					$newValue = round( $newValue );
-				}
+				$newValue = round( floatval( $newValue ) );
 			}
 		} elseif ( $fieldType == 'Float' || $fieldType == 'Rating' ) {
 			// Remove digit-grouping character, and change