What is ½ divided by 0.05?