@murphy Hehe! But unfortunately 1e-5 is not a number representable by IEEE754 floats.
The closest 32bit float would have the value 0.999999974737875163555145263671875E-5,
the closest 64bit float would have the value 1.00000000000000008180305391403E-5 (good enough though).
I hope Deutsche Post knows.
@cweickhmann You're right, of course, unless decimal floats are used (which, to my knowledge, are also specified in IEEE754, but much less common in practice) 🤓