Why does $int() accept strings containing floating-point numbers, like "78.5"? It seems that it would make more sense for it to only accept strings not containing a decimal point. That way, you don't have to check if there's a decimal point in the string before passing it to $int(). Right now, what is arguably an error isn't being reported.
- Chris Rebert -- Neko : One VM to run them all (http://nekovm.org)
