Exactly how much is a "mio" supposed to be anyway?