https://github.polettix.it/ETOOBUSY/2021/10/06/pwc133-integer-square-root/