0.071067094802856