sqrt(2) = trunc(a) / trunc(b)