str-index() Returns A Number, But Not As A Type of Number

Question

I posted a question earlier regarding a weird error as a result of a function. I\'ve been able to trace the cause back to the str-index() function. While it cle