Type Juggling in php