Centralize decimal to percent conversion for end-user #2359

Since this may have several edge cases we unified the way we convert
decimals to rounded percent.
Declare PHP's JSON extension as dependency
/api/table/filter return rounded percent between 0-100
Remove non deterministic test case

The result for this case may be memory state dependent and thus is
non-deterministic