Symbol: vfp_single_normalise_denormal