What is 20.4 divided by 5.1?