merge with real5 and fix Mul._eval_is_negative