classe floatexp do pacote absyn