(print .5)