dump: use %a for more precision