What number added to four and five-tenths, is twelve?