Convenciones de Bit usadas en este artculo

Los Bits dentro de una palabra de tamao W estn indexados por enteros en el rango 0 a W1 inclusive. El bit cuyo
ndice es 0 se sita a la derec!a. El menor bit indexado es normalmente el menos signi"icativo.
Precisin simple 32-bits
#n nmero en punto "lotante de precisi$n simple se almacena en una palabra de %& bits.
1 8 23 <-- tamao en bits
+-+--------+-----------------------+
|S| Exp | Mantisa |
+-+--------+-----------------------+
31 30 23 22 0 <-- ndice del bit (0 a la dereca!
despla"ado +12#
donde S es el bit de signo y Exp es el campo exponente. '(ara el signo) 0*(ositivo + 1* ,egativo-.
El exponente es despla.ado en el un nmero en precisi$n simple/ un exponente en el rango 1&0 a 11&2 es despla.ado
mediante la suma de 1&2 para obtener un valor en el rango 1 a &34 '0 y &33 tienen valores especiales descritos ms
adelante-. 5uando se interpreta el valor en punto "lotante/ el nmero es despla.ado de nuevo para obtener el exponente
real.
El con6unto de valores posibles pueden ser divididos en los siguientes)
ceros
nmeros normali.ados
nmeros desnormali.ados
in"initos
,a, '7E/ no es un nmero/ como por e6emplo/ la ra. cuadrada de un nmero negativo-
Las clases se distinguen principalmente por el valor del campo Exp/ siendo modi"icada 8sta por el campo "racci$n.
5onsidera Exp y 9racci$n como campos de nmeros binarios sin signo 'Exp se encuentra en el rango 0:&33-)
(ara nmeros normali.ados/ los ms comunes/ Exp es el exponente despla.ado y 9racci$n es la parte "raccional de la
mantisa 'o signi"icando-. El nmero tiene valor v)
v * s ; &
e
; m
<onde
s * 11 'nmeros positivos- cuando = es 0
s * 1 'nmeros negativos- cuando = es 1
e * Exp 1&2 'en otras palabras/ al exponente se le suma 1&2 y se almacena/ a esto tambi8n se le llama >biased ?it!
1&2> en ingl8s-
m * 1.9racci$n en binario 'esto es/ el signi"icando es el nmero binario 1 seguido por el punto decimal seguido por los
bits de 9racci$n-. (or lo tanto/ 1 @ m A &.
,otas)
1. Los nmeros desnormali.ados son iguales excepto Bue e * 1&0 y m * 0.Fraccin. 'e ,C es D1&2 ) el
signi"icando !a de ser despla.ado a la derec!a por un bit ms/ de "orma Bue incluya el bit principal/ Bue no
siempre es 1 en este caso. Esto se balancea incrementando el exponente a D1&0 para el clculo.-
&. 1&0 es el menor exponente para un nmero desnormali.ado
%. Eay dos ceros. 10 '= es 0- y 0 '= es 1-
4. Eay dos in"initos 1F '= es 0- y F '= es 1-
3. Los ,a, s pueden tener un signo y un signi"icando/ pero estos no tienen otro signi"icado Bue el Bue puedan
aportar en pruebas de diagn$stico+ el primer bit del signi"icando es a menudo utili.ado para distinguir NaN s
sealizados de NaN s silenciosos
0. los ,a,s y los in"initos tienen todos los bits a 1 en el campo Exp.
Un Ejemplo
5odi"iBuemos el nmero decimal D11G.0&3 usando el sistema de la HEEE 234.
,ecesitamos obtener el signo/ el exponente y la "racci$n.
<ado Bue es un nmero negativo/ el signo es >1>. BusBuemos los dems valores)
(rimero/ escribimos el nmero 'sin signo- usando notaci$n binaria. Iira el sistema de numeraci$n binario para ver c$mo
!acer esto. El resultado es 1110110.101.
J!ora/ movamos el punto decimal a la i.Buierda/ de6ando s$lo un 1 a su i.Buierda.
1110110.101*1.110110101K&
0
Esto es un nmero en coma "lotante normali.ado.
La mantisa es la parte a la derec!a del punto decimal/ rellenada con ceros a la derec!a !asta Bue obtengamos todos los &%
bits. Es decir 11011010100000000000000.
El exponente es 0/ pero necesitamos convertirlo a binario y despla.arlo 'de "orma Bue el exponente ms negativo es 0/ y
todos los exponentes son solamente nmeros binarios no negativos-. (ara el "ormato HEEE 234 de %& bits/ el
despla.amiento es 1&2/ as es Bue 0 1 1&2 * 1%%. En binario/ esto se escribe como 10000101.
(oniendo todo 6unto)
1 8 23 <-- tamao en bits
+-+--------+-----------------------+
|S| Exp | Mantisa |
|1|10000101|11011010100000000000000|
+-+--------+-----------------------+
31 30 23 22 0 <-- ndice del bit (0 a la dereca!
despla"ado +12#
Precisin doble !-bits
La precisi$n doble es esencialmente lo mismo exceptuando Bue los campos son de mayor tamao 'ms bits por campo-)
1 11 $2 <-- tamao
en bits
+-+-----------+----------------------------------------------+
|S| Exp | Mantisa |
+-+-----------+----------------------------------------------+
%3 %2 $2 $1 0 <-- ndice del
bit (0 a la dereca!
despla"ado +1023
Los ,a, s y los in"initos son representados con todos los bits de los Exp siendo 1 '&042 en decimal-.
(ara los nmeros normali.ados/ el exponente es despla.ado 110&% 'as nuestro ejemplo anterior es Exp D 10&%- (ara
nmeros denormali.ados el exponente es D10&& 'el mnimo exponente para un nmero normali.adoL no es 10&4 porBue
los nmeros normali.ados tienen un bit a 1 delante del punto binario y los nmeros desnormali.ados no-. 5omo antes/
ambos in"initos y los ceros contienen signo.
Comparacin de n"meros en punto #lotante
La comparaci$n de nmeros en punto "lotante se reali.a generalmente usando instrucciones de punto "lotante. =in
embargo esta representaci$n 'HEEE 234- !ace la comparaci$n de determinados subcon6untos posible byteDporDbyte/ si
comparten el mismo orden de bytes y el mismo signo/ y adems los ,a, s son excluidos.
(or e6emplo/ para dos nmeros positivos a y b/ a A b es cierto siempre Bue los enteros binarios sin signo con los mismos
patrones de bits y el mismo orden de bytes Bue a y b son tambi8n ordenados de "orma a A b. En otras palabras/ dos
nmeros positivos 'Bue se sabe Bue no son ,a, s- puede ser comparados con una comparaci$n entre enteros binarios sin
signo entre los mismos grupos de bits/ teniendo como base Bue los nmeros tienen el mismo orden de bytes 'esta
ordenaci$n/ por tanto/ no puede ser utili.ada a trav8s de una unin en el lengua6e de programaci$n 5. Este es un e6emplo
de ordenaci$n lexicogr"ica.
$edondeo de n"meros en punto #lotante
El estndar de la HEEE tiene cuatro "ormas di"erentes de redondeo)
Unbiased Bue redondea al nmero ms cercano/ si el nmero cae en medio/ este es redondeado al valor ms
cercano con un valor par 'cero- en su bit menos signi"icativo. Este modo es el reBuerido como por de"ecto.
%acia el cero
%acia el in#inito positivo

3.3.3a Simple precisin, representacin normalizada:
& '' ( )* + ,- 2
E-*2.
Es evidente Bue en estos casos E es un nmero tal Bue 0 A E A &33 '&
G
D & posibilidades-/ ya Bue en caso contrario se
estara en alguno de los signi"icados especiales 'todos los bits del exponente a 0 o a 1-. Js pues/ E se mueve en el
intervalo 1 a &34 'ambos inclusive- Jl restarle 1&2 Bueda un rango entre &
D1&0
y &
1&2
.
E6emplos)
0 00001100 11010000000000000000000
=igno * 1+ E * 1&+ , * 1M&
1
1 1M&
&
1 0M&
%
1 1M&
4
1 0 1 0 1 ... * 0.G1&3
& * 1 '1 1 0.G1&3- &
1&D1&2
* 1.G1&3 K &
D113
* 4.%0%4%30 K 10
D%3
1 10001101 01101000000000000000000
=igno * D+ E * 141+ , * 0M&
1
1 1M&
&
1 1M&
%
1 0M&
4
1 1M&
3
1 0 1 ... * 0.400&3
& * D '1 1 0.400&3- &
141
* D 1.400&3 K &
14
* D &%040
3.3.3b Simple precisin, representacin subnormal:
& '' ( )0 + ,- 2
-*2.
5omo se !a sealado / en estos casos es E * 0/ y , es distinto de cero. La operatoria es anloga al caso anterior.
E6emplo)
0 00000000 11010000000000000000000
=igno * 1+ E * 0+ , * 1M&
1
1 1M&
&
1 0M&
%
1 1M&
4
1 0 1 0 1 ... * 0.G1&3
& * 1 0.G1&3 K &
D1&2
* 4.223443G0 K 10
D%N
3.3.3c Doble precisin, representacin normalizada:
& '' ( )* + ,- 2
E-*023
En estos casos es 0 A E A &042. En caso contrario se estara en alguno de los signi"icados especiales 'todos los bits del
exponente a 0 o a 1-. La operatoria es anloga a la de simple precisi$n/ con la di"erencia de Bue en este caso se dispone
de ms espacio para representar la mantisa , y el exponente E '3& y 11 bits respectivamente-.
3.3.3d Doble precisin, representacin subnormal:
& '' ( )0 + ,- 2
-*023

En estos casos es E * 0/ y , es distinto de cero. La operatoria es anloga a la sealada en casos anteriores.
3.3.4 Conversor automtico de formatos
5on ob6eto de "acilitar al lector la reali.aci$n de algunos e6emplos Bue le permitan terminar de comprender y comprobar
estas reglas/ en la pgina ad6unta se incluye un convertidor automtico de "ormatos Bue permite introducir un nmero en
"ormato decimal 'incluso en notaci$n cient"ica-/ y comprobar el aspecto de su almacenamiento binario segn el Estndar
HEEE 234 en simple y doble precisin ' 5onversor-.
/ota) en la librera de e6emplos ' N.4.1- se incluye un programa 511 Bue reali.a la misma conversi$n Bue el anterior
'reali.ado en 6avascript-/ aunBue est limitado a la representaci$n de nmeros en precisi$n simple.