What decimal is 1/10 of 0.08?