So the default is a non-int. but the type is int. What happens then?