internal static float float32_unpack(int val)
{
float mant=val&0x1fffff;
float sign=val&0x80000000;
float exp =(uint)(val&0x7fe00000) >> VQ_FMAN;
//System.err.println("mant="+mant+", sign="+sign+", exp="+exp);
//if(sign!=0.0)mant= -mant;
if((val&0x80000000)!=0)mant= -mant;
//System.err.println("mant="+mant);
return(ldexp(mant,((int)exp)-(VQ_FMAN-1)-VQ_FEXP_BIAS));
}