use a real type for default value