1/sqrt(2) and 0.5 * sqrt(2) both being 0.707 always blows my mind even though it’s basic algebra