What is 32 divided by 0.25?