You seem very confident about all these assertions, but I don't understand where the confidence is coming from. Subtraction is clearly needed, but having imaginary entities that you use for the results of subtraction operations that are clearly invalid seems fanciful. It took a lot of time and effort for people to realize that it only looks fanciful, but in fact is very convenient and useful.

You don't need negative numbers to define a limit of a sequence; in fact the notion of a distance between a and b is more natural than the formula |a-b|. You can define the distance between a and b as the subtraction of the smaller between them from the larger.

Therefore you don't need negative numbers to define the derivative of a smooth function at x. You just say that at x the function is growing with derivative such-and-such, or shrinking with derivative such-and-such, or holding steady. Working with such a definition might be more cumbersome and might break down to more special cases, but I don't think it's hugely more cumbersome.

You can do quantum mechanics without complex amplitudes.