The default value is not `None`