I think this is more casting than is necessary. Also, does converting from float64 to int always do Floor(), at least for the positive numbers we're working with?