If it's yes and it depends on compilers, I prefer to explicitly write multiplication here to make it sure. Replacing `/ 4` with `* 0.25` doesn't harm readability of the codes and guarantee multiplication is always used.