Regex to divide a number by the square root of 2 (codegolf.stackexchange.com)

This might appear soon, at a job interview in your neighborhood...