echo ieee754/dbl-64
echo ieee754/flt-32