<?php echo strcmp("7.100000000000000", "7.10000000000000001");
You have javascript disabled. You will not be able to edit any code.