# [Python 3], 22 bytes

<!-- language-all: lang-python -->

    lambda x:int(x/2**0.5)

[Try it online!][TIO-k5rst5kf]

Just a port of my Keg answer. Nothing special here.

[Python 3]: https://docs.python.org/3/
[TIO-k5rst5kf]: https://tio.run/##fVBNTwJBDL3zKxpOLJnodPo1JVn/iHpYYzaSwEKAEPz1awej8WQPbd9r@5r2@Hn5OEw0j/3LvBv2b@8D3Dbb6bK6PZb1Oj9IN1@H3Rl6eM4JMEFJQAk4gQQMioKQ3Gr5x38nVZnZUH@5O12QjSspW4gUZ1cr3qQqsxpzNrLsIqgofyf/swQuWmroZkesVpDQKldXNC3CRKZEJOT3BmR3jUXMxFTpdTEeThBHwnZq4bxZQNjx1L4QOMGyf1omGBvouvkL "Python 3 – Try It Online"