You are right - I was an a patched PHP branch were I disabled auto conversion of numeric strings on comparison. Sorry!