the product of 4.23 and 2.5 is ?​