PHP 7.1+ json encode() Float Precision Fix

PHP 7.1+ json encode() Float Precision Fix: a task in Terminal-Lego-15k (Harbor dataset). In PHP 7.1 and later versions, json encode() uses the serialize precision INI setting instead of precision when encoding double/float values. This change can cause unexpected behavior where float values like…