Dumper: dump floats by var_dump() [Closes #1273]