Why pb and exi chose to use little endian to encode numbers, I wonder. Isn't big endian faster to read?