Yeah, the issue is that *sprintf() C functions aren’t portable enough for PHP. So PHP ships its own, which boils down to a madness illustrated here: https://github.com/php/php-src/pull/186#issuecomment-8672422