What is 5.7 subtracted by 4.2?