Utilitários para lidar com números de ponto flutuante IEEE
