- var_dump: documentation ( source)
- fmod: documentation ( source)
- pow: documentation ( source)
<?php
$a = INF;
$n = pow(2,64);
var_dump( $a/$n ); // floating point div with non-zero value
echo $a - ($n * (int) ($a/$n) ),"\n"; // INF but s/b NAN
echo fmod(INF,pow(2,64)),"\n"; // NAN correct!
echo INF % pow(2,64); // integer div b/c % so pow(2,64) becomes 0