> Pattern types could potentially maybe in the future allow for the compiler to know more details though.

Thanks, I’ll take a look!

That is a big maybe though. It is very experimental (didn't even have non-placeholder syntax last I looked), and as far as I know nobody has yet even discussed it for floats.