What is 0.8 times 1.3?