If there are many years left, he must refund from his purchase price an amount equal ⌊to those years⌋.