<?php var_dump( 0x000fffffffffffff ); // float 4503599627370500 var_dump( (int) 0x000fffffffffffff); // int -1
You have javascript disabled. You will not be able to edit any code.