Allows to compare floats on PHP with high precision