Text int typing for positions to float

[DigiDuncan]

Pyglet types these attributes as int but happily accepts float, and we use float for position everywhere else and ¯\(ツ)/¯

It was messing up my typing in Charm frankly so I figured other people would run into it

[einarf]

@eruvanos was the one changing the typing on these in the past. Should be discussed with him.

Moving deeper I would also check with the pyglet people why these were typed as int. It's something we can change in pyglet for 2.1 if it makes sense.

[pushfoo]

TL;DR: 👍 Do it

This was partly covered in #2183 but that will take forever to merge, so I'll just rebase.

Moving deeper I would also check with the pyglet people why these were typed as int.

I've been discussing this with them on Discord:

• Mac and Linux seem to allow float font sizes
• Windows does not seem to
• The annotation seems like it should be float even if some renderers round to int

[einarf]

Thanks for this fix. The squiggly lines in my editor have been bothering me 🤣