Description:
------------
A float property that is defaulted to an integer has the type integer instead of float. I would expect the default integer to be cast to float when assigned to a float type property.

Please see provided test script for an example.

Test script:
---------------
<?php

echo 'PHP Version: ' . PHP_VERSION;

class Foo {
    public float $baa = 1;
}

$instance = new Foo();
echo "\n\nbefore assign\n";
var_dump($instance->baa);
var_dump(gettype($instance->baa));
$instance->baa = 1;

echo "\n\nafter assign\n";
var_dump($instance->baa);
var_dump(gettype($instance->baa));

Expected result:
----------------
PHP Version: 7.4.0RC3

before assign
float(1)
string(6) "double"


after assign
float(1)
string(6) "double"


Actual result:
--------------
PHP Version: 7.4.0RC3

before assign
int(1)
string(7) "integer"


after assign
float(1)
string(6) "double"