How do you multiply #3 / (2 sqrt2) #?