https://peeterjoot.com/2016/06/04/integer-square-root/