What is the product of 1.25 and 0.02?