Use floats for highlight shapes.

This doesn't help fix anything, but truncating everything to
integers is odd.