7.071067811865475505328504