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