From Gamboge Iguana, 5 Months ago, written in PHP.
Embed
  1. $ php -a
  2. Interactive mode enabled
  3.  
  4. php > $v1 = "-3.1439253274058";
  5. php > $v2 = (string)(double)$v1;
  6. php > echo $v1 == $v2;
  7. 1
  8. php > $v1 = "-3.14392532740584";
  9. php > $v1 = "-3.14112532740584";
  10. php > $v2 = (string)(double)$v1;
  11. php > echo $v1 == $v2;
  12. php > echo $v2;
  13. -3.1411253274058
  14. php >