Did I find a php bug?

Talking about Php.

Maybe today I found a php bug… try to run this script on your server…

What do you get?

I get a 0.90000000000001 on different servers with different php installations

Am I the only one?