What number is divided by 0.2 to give 10?