There's a great paper from Ryan Schmidt called "Interactive decal compositing with discrete exponential maps" which tackles this exact problem as well. A more modern variant can be found in the "Vector Heat Method" by the authors of geometry-central, Nicholas Sharp and Keenan Crane, which can compute very accurate "log maps".

It's really cool to see this running interactively in the web!! Super slick stuff :)

Not to be pedantic, but one of the author's own examples involves pi inverse, so I think discussing FP numbers is valid.

Yes I know, but in the context of Pony, 1/0==0 only applies to integers, not FP numbers. The article doesn't make it clear.

floating point numbers in Pony follow the standard and return Infinity for division by zero. integer division by zero is undefined behavior and something each programming language has to decide how to handle.