Frédéric Jolliton

To make it clear: the problem is that the wrong type is silently accepted, not that correct code is being rejected.

At the very least, there should be an option that reject such codes that knowingly could break the typing contract and require some sort of annotations from the developer to...

The problem is that two consecutive points **must** be disjoint. Actually there should be no attempt to compute `atan` in the first place for these points. The correct solution, I...