PHP_DATE_INTERVAL_READ_PROPERTY_I64 4199 ext/date/php_date.c 	PHP_DATE_INTERVAL_READ_PROPERTY_I64("days", days);
PHP_DATE_INTERVAL_READ_PROPERTY_I64 4201 ext/date/php_date.c 	PHP_DATE_INTERVAL_READ_PROPERTY_I64("special_amount", special.amount);