math::sqrt_down — square root of a 1e9-scaled value, 1e9-scaled, rounded down.
math::sqrt_down
BigInt sqrtDown(BigInt x) { _assertUint(x, 'sqrt input'); return _sqrtU128Down(x * FLOAT_SCALING); }