DBL_MAX_EXP
> Exp_msk1*(DBL_MAX_EXP+Bias-1-P))
> Exp_msk1*(DBL_MAX_EXP+Bias-P))
if (z > Exp_msk1*(DBL_MAX_EXP+Bias-1-P)) {
if (y == Exp_msk1*(DBL_MAX_EXP+Bias-1)) {
Exp_msk1*(DBL_MAX_EXP+Bias-P)) {
#define Big0 (Frac_mask1 | Exp_msk1*(DBL_MAX_EXP+Bias-1))