The default types of numerical values are all double types, and no special definition is needed.
So after the assignment, it is double.