signed. check_div_real [...] division real 64 bit. check_div_real_32 = 7
independent of the real
the unmergeable changes (real