Untitled

From Gamboge Iguana, 5 Months ago, written in PHP.

URL https://paste.thedevstack.de/view/e6db3d30

Embed

$ php -a

Interactive mode enabled

php > $v1 = "-3.1439253274058";

php > $v2 = (string)(double)$v1;

php > echo $v1 == $v2;

1

php > $v1 = "-3.14392532740584";

php > $v1 = "-3.14112532740584";

php > $v2 = (string)(double)$v1;

php > echo $v1 == $v2;

php > echo $v2;

-3.1411253274058

php >

Author

Title

Language

Your paste - Paste your paste here

Create Shorturl - Create a shorter url that redirects to your paste?

Private - Private paste aren't shown in recent listings.

Delete After - When should we delete your paste?

Reply to "Untitled"