Description:
------------
The (string) type casting statement does not convert to string

Reproduce code:
---------------
<?php
  $credit_card_number = 41058756689456878; 
  $tempCCN = (string)$credit_card_number;
  
  
  
  $last_four_digits = substr($tempCCN,0,4);
  $cardLength = strlen($credit_card_number);
  
  
  function repeatChar($singleChar,$repeatTimes){
    $returnThis = "";
    $j = 0;
    
    while($j<$repeatTimes){
      $returnThis .= $singleChar;
      $j++;
    }
    return($returnThis);
  }
  
  
  print(repeatChar("*",((int) $cardLength - 8)) . $last_four_digits);
  
?>

Actual result:
--------------
************4.10