Proper dump/restore of float values