<?php var_dump('7.1000000000000000000000000000000' == '7.1000000000000000000000000000000000000000001');
You have javascript disabled. You will not be able to edit any code.