PHPにおける分数の整数への変換

分数に対してintコマンドを使用すると、 分数から整数部分のみが抽出されます:

php<?php
  $test = (int) '1.2';
  var_dump($test); // 1を出力
?>

同様のコマンドは、分数が数値として文字列ではなく、 単なる数値である場合にも機能します:

php<?php
  $test = (int) 1.2;
  var_dump($test); // 1を出力
?>

php<?php
  $test = '12.345';
?>