set serialize_precision to 17, current PHP default