Regex to divide a number by the square root of 2

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