Feature request

Add support for float-ranges similar to what already exists for int-ranges.

I noticed this when working with ceil() (https://phpstan.org/r/80293019-a510-47c5-9f73-36af8786ac3f). I assumed it was the ceil-function that stripped the range from the input but then I noticed that there is no support for float-ranges in PHPStan. Is there a reason for this, or is this just something that hasn't come up yet?

Did PHPStan help you today? Did it make you happy in any way?

It's very satisfying to slowly remove errors from our huge baseline.