numberDefault method
The declared default for a ComponentPropertyKind.number (or integer)
property name, as a double.
Implementation
double numberDefault(String name) {
final v = defaultOf(name);
return v is IntValue ? v.value.toDouble() : (v as DoubleValue).value;
}