¿Cuántos registros de coma flotante de 64 bits tiene un procesador IA-64?