PHP: rfc:string_to_number_comparison