Symbol: subnormal_ilogbf