PHP Type juggling and Non-Strict Comparison Issues