Symbol: vfp_double_packed_exponent