What is the product of 45.23 and 7.4?