what is half of the number 3.5?