How do you write 4.02 as a mixed number?