Had a problem with demoting an integer.