truncating floats for export, better array dumping