How do you multiply #20*sqrt2#?