"float cannot be assigned to double" when casting float var with double()

[belm0]

compile time error with "python -m compiler --static", seen on 5bd8c57

from __static__ import double, int32

double(1.2)  # OK

x = 1.2
double(x)  # type mismatch: float cannot be assigned to double

y = 5
int32(y)  # OK