Symbol: ilogbf_subnormal