is the `float` value here somehow guaranteed to not have a fractional part? seems strange to just smash it to `int`