How do you multiply #sqrt (2) * (6) #?