hphp/test/quick/castDbl.php

   1 <?hh
   2
   3 function main($x, $y, $z, $t) {
   4   $a = (int)$x;
   5   $b = (int)$y;
   6   $c = (int)$z;
   7   $d = (int)$t;
   8
   9   var_dump($a);
  10   var_dump($b);
  11   var_dump($c);
  12   var_dump($d);
  13 }
  14 <<__EntryPoint>> function main_entry(): void {
  15 main(0.0, 0.5, 0.25, 0.75);
  16 main(-0.0, -0.5, -0.25, -0.75);
  17 main(20000000000000000000.0,
  18      9223372036854775807.0,
  19      18446744073709551615.0,
  20      9223372036854775806.0);
  21 main(-20000000000000000000.0,
  22      -9223372036854775807.0,
  23      -18446744073709551615.0,
  24      -9223372036854775806.0);
  25 main(NAN, -NAN, INF, -INF);
  26 }