https://github.polettix.it/ETOOBUSY/2020/09/30/pwc080-smallest-positive-number/