Does decimate really mean destroy one tenth?