Isn't 1.5 / 0.5 integer?