Is the `* 1` to cast value to an int?