Implementação da biblioteca IEEE 754