Good evening and merry christmas, After some discussion in a separated thread I created the RFC to discuss about the implementation of another json_encode option.
The RFC can be found here: https://wiki.php.net/rfc/json_preserve_fractional_part Juan Basso
