[1718627440]

The idea is not to do it with values derived from arithmetic, but e.g. from measurements where a real zero is very unlikely and indicates something different.

[vikingerik]

Right, but that's not something a linter could know.