Regex to divide a number by the square root of 2

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