High accuracy and flexible dumping of PHP variables