miniexp: sanitized printing/reading miniexp_dummy
Added floatnum objects, enhanced printer and parser.