What is 0.25 divided by 10?