Agora a falar a sério. Alguém sabe o nome completo de D.Pedro IV de Portugal (I do Brasil)?

Agora a falar a sério. Alguém sabe o nome completo de D.Pedro IV de Portugal (I do Brasil)? Vá, não é assim tão difícil... De acordo com a wikipédia é:

Pedro de Alcântara Francisco António João Carlos Xavier de Paula Miguel Rafael Joaquim José Gonzaga Pascoal Cipriano Serafim de Bragança e Bourbon

Será que na altura já havia Bi's? Pergunto isto, porque se já para nos verificarem a altura é o que é, imagino para porem este nome inteiro num documento de identificação!!! É que não há cartão que o valha...