Dbl_hiddenhigh3mantissa
if((jumpsize = Dbl_hiddenhigh3mantissa(resultp1)) > 7)
if((jumpsize = Dbl_hiddenhigh3mantissa(resultp1)) > 7)
jumpsize = Dbl_hiddenhigh3mantissa(resultp1);
jumpsize = Dbl_hiddenhigh3mantissa(resultp1);