Terrible type handling in PHP. Terrible!