opcache_get_configuration() properly reports jit_prof_threshold

The `jit_prof_threshold` is a float, supposed to be in range [0, 1],
and usually very small (the default is 0.005). Repor

opcache_get_configuration() properly reports jit_prof_threshold

The `jit_prof_threshold` is a float, supposed to be in range [0, 1],
and usually very small (the default is 0.005). Reporting it as int
is meaningless.

Closes GH-17077.

show more ...