num_exp: re-parseable dumps
authorMichael Wallner <mike@php.net>
Mon, 20 Feb 2017 07:18:17 +0000 (08:18 +0100)
committerMichael Wallner <mike@php.net>
Mon, 20 Feb 2017 07:18:17 +0000 (08:18 +0100)
commitacb84297d3ceeb57c97e0ac4da1881eba6aee18e
treec76d1facd34aaa674afb2d6fc542899981e6a2dd
parentf15288e185e65bcdfde87c217fb6bd7ff12eb653
num_exp: re-parseable dumps
src/types/num_exp.c