What is 0.25 as a whole number?