could have been an integer!