Today I learned that Python and other programming languages have negative zero, -0.0.
Today I learned what precision Python floats have.
Tunnel excavation involves lots of boring mathematics.