- var_dump: documentation ( source)
<?php
var_dump('7.00000000000001' == '7.00000000000000');
var_dump('77.00000000000001' == '77.00000000000000');
var_dump('777.00000000000001' == '777.00000000000000');
var_dump('777.00000000000001' === '777.00000000000000');