Esto se debe a que los números flotantes no necesariamente tienen soporte de hardware, en particular en las plataformas integradas.