Is this php behaviour explained somewhere in manual? (strings with zeroes comparison)

Question

Why for php

\'00\' == \'0000\'

expression is true?

Is it explained somewhere in manual?

NOTE:

Answer 1

"If you compare a number with a string or the comparison involves numerical strings, then each string is converted to a number and the comparison performed numerically." (PHP manual)