What is 1 divided by 0.2?