modificador strictfp y el estandar IEEE754