let a = 7.0, b = 2.0 in a * b / ask user? ni