As the other posters have shown it’s not that hard.
Most graphics specs will explicitly say how tie break rules work.
The key is to work in fixed point (16.8 or even 16.4 if you’re feeling spicy). It’s not “trivial” but in general you write it and it’s done. It’s not something you have to go back to over and over for weird bugs.
You explain well so what I never understood is how the Jacobians aren't the first derivatives themselves?
Also if you have happen to have any suggestions for linear algebra for someone who uses it without really understanding it (I can write a measurement function for an EKF from scratch OK, but I don't really understand why the maths does what it does) I would really appreciate it.