PHP一重引用符と二重引用符で符号化されたピット

二重引用符文字列:UTF-8符号化一重引用符文字列:長さが短い場合はASCII符号化、一定長を超える場合はUTF-8符号化

gmp_init("12345", 10); //    
gmp_init('12345', 10); //     

原理不明で、さらなるテストが必要です