Symbol: vfp_double_normalise_denormal