This might be a bit picky but I would suggest adding `real` here too to fulfill PHP's type namings because you can do `(real)` type casts and also check a value with `is_real`.